is a specific kind of: relation.

is a broader term that covers: contradictory | contrary | transitivity | reflexiveness, reflexivity | modality, mode | conditional relation, implication, logical implication.

domain category: logic.