A⊆B = A je podmnožinou BA⊆B⇔∀x∈A:x∈B
⇔ = je ekvivalentní
∀x∈A = pro všechny prvky "x" z množiny "A"
: = platí, že
x∈B = "x" je prvek z množiny B
⇔ = je ekvivalentní
∀x∈A = pro všechny prvky "x" z množiny "A"
: = platí, že
x∈B = "x" je prvek z množiny B