theorem :: DICKSON:11

for R being non empty Poset
for x being Element of R holds Class ((EqRel R),x) = {x}