p是q的充分不必要条件的意思是:

如果 p ，那么 q。成立。

如果非p，那么非q。不成立。

这个比较抽象，我们用一个例子说明一下。

如果是对顶角，那么这两个角相等。这是成立的。

如果不是对顶角，那么这两个角不相等。这是不成立的。

对于两个角相等而言，同位角也相等，对顶角不是必要的。