Aleph-one-like linear order

ID: aleph-one-like-linear-order

An aleph-one-like linear order has size and every point has only countably many predecessors. Consequently every proper initial segment is countable, since it is bounded by any point outside it. This differs from requiring every nonempty interval to be uncountable.

New to topics? Read the docs here!