Database: Membership, element

Definition 3: Given variables x and y , a statement of the form x \in y will be called a membership statement. We may express such a statement by saying x is an element (or member) of y . We may also use language to the effect that x is in y or that y contains x , or similar.

This database entry builds on the following:

  1. Terminology: Class, statement