1 true generalization true specialization true equivalence sets