non-reflexive relation Deductions reflexive relation is opposite of non-reflexive relation ⇐ non-reflexive relation is opposite of reflexive relation reflexive relation is subclass of non-reflexive relation ⇐ (irreflexive relation is subclass of non-reflexive relation), (irreflexive relation is opposite of reflexive relation)