class inclusion
set theory
Learn about this topic in these articles:
distinguished from membership
- In formal logic: Set theory
The relation of class inclusion, however (to be carefully distinguished from class membership), is transitive. A class x is said to be included in a class y (written x ⊆ y) if and only if every member of x is also a member of y. (This is not…
Read More