Add a new binary predicate to the language: the membership relation.
Πρόσθεσε ένα νέο binary predicate (δυαδικό κατηγόρημα) στην γλώσσα: την σχέση μέλους .