Countable set (source code)

= Countable set
{wiki}

= Countable
{synonym}

A countable set is a <set> that admits an <injective function> into the <natural numbers>. It is therefore either a <finite set> or a <countably infinite set>.