theorem :: WELLORD2:22

for x being object holds RelIncl {x} = {[x,x]}