dichotomy

Deductions

• 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)
• dichotomy is for example non-binary ⇐ (non-binary is a dichotomy), (is a is inverse of is for example)
• male and female has quality dichotomy ⇐ (gender binary is a dichotomy), (male and female has quality gender binary)
• non-binary is a dichotomy ⇐ (gender binary is a dichotomy), (gender binary is opposite of non-binary)
• dichotomy is for example gender binary ⇐ (gender binary is a dichotomy), (is a is inverse of is for example)