Category: Inclusion and Equality