◻️ Class element §

= any object, which satisfies a propositional function of the given class

Mathematical §

• o ∈ a
  • o: object
  • a: class