属性信息
definition
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.