Property information
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.
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.