for R being non empty Poset
for X, Y being OrderSortedSet of R holds X (\/) Y is OrderSortedSet of R