Equivalence of Definitions of Normal Subset

Theorem
The following definitions of a normal subset are equivalent: