如果既有p推出q,又有q推出p,则记作p=q,就说p是q的充要条件,也可以说q是p的充要条件,或者若p推出q,但q推不出p,则p是q的充分不必要条件,q是p的必要不充分条件。例如“两个三角形全等”是“两个三角形面积相等”的充分不必要条件,|x|=|y|是“x²=y²”的充要条件。