Find!
x1 is a proper subset/subclass/subgroup/subcategory/subunit of/strictly within x2 with defining property (ka) x3
x2 contains but is not identical to x1; thus x1 is 'reduced' from x2.