Equivalence of Definitions of Normal Subset

Theorem
The definitions of a normal subset are all equivalent.