x1 is a binary relationship which is reflexive in space/under conditions/on set x2.
Denote this binary relation x1 between elements y, z (in that order) by "y R z" (in that order); then, for any element 'a' in the set of consideration (possibly x2), a R a. "Reflexive property" = "ka(m)( )kinra". See also: takni, kinfi.