Density of a finite subset (source code)

= Density of a finite subset
{title2=$\delta(A)=|A|/|X|$}

The density of $A$ in a nonempty finite ambient set $X$ is the proportion $|A|/|X|$.