Infinite set (source code)

= Infinite set
{wiki}

An infinite set is a <set> with infinitely many elements. Equivalently, assuming the <axiom of choice>, it contains a <countably infinite set>.