reflexive When used with relation domains produces solutions where every element in one domain is related to itself. See this demonstrated here. Read more about this property here.