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