in set theory, a tree of height ω₁, each of whose levels is countable, but with uncountably many branches
