„Szerkesztő:Gubbubu/Halmazelmélet/Konnekció, operáció” változatai közötti eltérés

Tartalom törölve Tartalom hozzáadva
86. sor:
=== A konnekció alapfogalom ===
 
Hogy miért nem formalizálható ez a fogalom[[#Konnekció|konnekció]] fogalma? Természetesen azért, mert "az olyan osztályok, amelyek" ... szövegek nem formalizálhatóak az osztályelméletben, hiszen az osztályok nem alkotnak osztályt. Emlékeztetünk rá: az
 
<center> "Konnekció" := {x | (∀y∈x):(∃u,v):(y=<<nowiki>u</nowiki>,v>) }</center>