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