kinra experimental gismu

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.


In notes:

kinfi
x1 is a binary relationship which is symmetric (under exchange of arguments/terms) in space/under conditions/on set x2.
takni
x1 is a binary relationship which is transitive in space/under conditions/on set x2.