Bruger:Burningbrand/sandkasse: Forskelle mellem versioner

Erx er ikke element i y: <math> x \notin y : \Leftrightarrow \neg ( x \in y) </math>

Delmængdex er delmængde : <math> x \subseteq y : \Leftrightarrow \forall a:( a \in x \Rightarrow a \in y) </math>

Lighed: <math> x=y : \Leftrightarrow \forall x \forall y: x \subseteq y \wedge y \subseteq x </math>; kan også formuleres som hvis x og y har de samme elementer så tilhører de de samme mængder. <math> x=y: