◻️ Class element === any object, which satisfies a propositional function of the given class== Mathematical o ∈ a o: object a: class