Let be a subset of that is totally ordered by , and let be the union of all the elements of (which are themselves certain subsets of ).
Let be a subset of that is totally ordered by  and let be the union of all the elements of (which are themselves certain subsets of ).