(logic and mathematics) a relation such that it holds between an element and itself
the coreferential relation between a reflexive pronoun and its antecedent
