Definizione
17
[1X2] Date due variabili \(x,y\) scriveremo \(x∈ y\) per dire che “\(x\) è un elemento dell’insieme \(y\)”; usa anche dire che “\(x\) appartiene all’insieme \(y\)”, o semplicemente che “\(x\) sta in \(y\)”.
La formula \((x∈ y)\) è equivalente a \((y∋ x)\); le negazioni sono \((x∉ y )≐ ¬ (x∈ y) \) e \((y ∌ x)≐ ¬ (y∋ x)\).
La formula \((x∈ y)\) (come tutte le altre varianti) assume valore di verità/falsità e dunque può essere usata come atomo nella costruzione di una formula ben formata.