 Density of a finite subset

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