: Ahol '''y''' a halmazelméleti nyelvünk (ld. [[később]]) valamely formulája. Az ilyen jelsorozatokat a konnekciók '''előírás'''ának nevezzük.
: Igen zavaró, hogy helytakarékosság és más okok miatt az előírásból sokszor elhagyják az alap- és képtartomány feltüntetését, bár ezt mi is alkalmazni fogjuk. Ennek az a hátránya, hogy sok esetben összekeveredhet, hogy egy κ('''x''')='''Yy''' alakú jelsor egyépp az egész operációt jelöljelöli-e, vagy csak egy konkrét elem ama operáció (κ) szerinti képét. Ezt próbáljuk azzal kivédeni, hogy ha általános (pl. definiáló) azonosságról van szó és nem az operáció valamely konkrét konstansra vagy paraméterre való alkalmazásáról, akkor megvastagítjuk a független változót (azaz amelyik a κ jel után zárójelben áll).
Példák:
67 ⟶ 68 sor:
És így tovább, még végtelen sok hasonló példa kitalálható.
