Definition:Class Interval/Empty

Definition
A class is empty if it is of frequency zero.

Historical note
The name empty class was specifically coined for ProofWiki, as the writer of this page has not found a name for this concept in the literature.