for T being non empty RelStr
for a being Element of T st T is reflexive & [#] T = {a} holds
T is discrete