Assignment and assertion
Naturals = {1,2,3, ...} and Students = {JohnDoe, JaneBrown, ...} are assignments,
4 ∈A, 11 ∉ A, and A = B are true assertions, 12 ∈ A is a false assertion.
Note: Symbol = is overloaded since it is used for both assignment and assertion.