Unelement


… x ∉ meint => nicht Element von