(?) || Örn. Bir n-li açık önermenin belirlediği kaplam, bu açık önermeyi gerçekleyen sıralanmış n-li dizgelerden oluşan bağıntıdır.