only in taxon x only in taxon y if and only if x is in taxon y, and there is no other organism z such that y!=z a and x is in taxon z. in taxon