for DP being non empty discrete RelStr
for x, y being Element of DP holds
( x <= y iff x = y )