Reflexive

Reflexive

Reflexivity is a property of a language. It indicates that a proposition is related to itself.

A typical example of reflexivity from classical entailment is: Given A, then A entails A.
Logic
Logic