reflexivity: (logic and mathematics) a relation such that it holds between an element and itself
logical relation: a relation between propositions
triceratops: huge ceratopsian dinosaur having three horns and the neck heavily armored with a very solid frill