theorem :: ORDERS_2:48

for A being non empty Poset
for C being Chain of A holds the InternalRel of A |_2 C is being_linear-order