下列结论正确的是
A. 若 $\varnothing \varsubsetneqq A \varsubsetneqq B$ ，则 $\exists x \notin A, x \in B$
B. 若 $\varnothing \varsubsetneqq A \subseteq B$ ，则 $\forall x \notin A, x \notin B$
C. ＂$\forall x>0, x^2>x$＂的否定是＂$\exists x>0, x^2 \leqslant x$＂
D. ＂$\exists x \in \mathbf{N}^*, \frac{1}{x} \in \mathbf{N}^*$＂是真命题