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