theorem Th46: :: ORDERS_2:46

for A being non empty Poset
for S being Subset of A holds field ( the InternalRel of A |_2 S) = S