Finite set (source code)

= Finite set
{wiki}

A finite set is a <set> with finitely many elements.