for A being non empty Poset
for C being Chain of A holds the InternalRel of A linearly_orders C