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!