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

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