Unelement


x ∉ meint => nicht Element von