On 30 Mai, 23:16, Virgil <virg...@nowhere.com> wrote:
> > Then we have only > > En Am: m =< n ==> Am En m =< n [**] > > because not all elements are readily available. > > Any set in a sane set theory has all members equally "available".
Then a complete set with linear order sould have a last element.
