set system

Deductions

• male and female has quality set system ⇐ (dichotomy is subclass of set system), (male and female has quality dichotomy)
• dichotomy is subclass of set system ⇐ (dichotomy is subclass of partition of a set), (partition of a set is subclass of set system), (is subclass of is a transitive relation)
• set system is for example non-binary ⇐ (non-binary is a set system), (is a is inverse of is for example)
• set system is for example gender binary ⇐ (gender binary is a set system), (is a is inverse of is for example)
• gender binary is a set system ⇐ (partition of a set is subclass of set system), (gender binary is a partition of a set)
• non-binary is a set system ⇐ (partition of a set is subclass of set system), (non-binary is a partition of a set)