充分性#

• Case I: For all nonempty $A$: $\left| A \right| < \left| N(A) \right|$
• Case II: There exists a nonempty $A$: $\left| A \right| = \left| N(A) \right|$