reflexivity: (logic and mathematics) a relation such that it holds between an element and itself
logical relation: a relation between propositions
retirement: withdrawal for prayer and study and meditation