theorem :: ORDERS_2:50

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