Relation (mathematics)
Relations can be reflexive. One example of a reflexive relation is the relation "is equal to" (e.g., for all X, X "is equal to" X). In general, a reflexive relation is a relation such that for all a in A, (a,a) belongs to R.