reflexivity: (logic and mathematics) a relation such that it holds between an element and itself
logical relation: a relation between propositions
cadmus: (Greek mythology) the brother of Europa and traditional founder of Thebes in Boeotia