Subset and Equality