A logic term referring to a condition that guarantees a result will occur, even if that same result could also be produced by other conditions. It is often contrasted with a 必要条件 bì​yào​tiáo​jiàn