LC2cT3PIT3 Inclusion in Classes Inclusion of subsets in the Totality (L. Miller) Inclusion of subsets in the Totality (S. Papert)