chōng fēn yòu bì yào tiáo jiàn
如果有甲必有乙，无甲必无乙，那么甲就是乙的充分又必要条件。例如，三角形是等角的，则三角形是等边的，而只有三角形是等角的，三角形才是等边的。因此，三角形等角就是三角形等边的充分又必要条件。汉语辞海