가 참 ()이면 즉 p 이면 q 이다가 성립하기 위해서는 는 를 포함해야 합니다. 그림으로 나타내면 다음과 같습니다.이 때 P 는 Q 이기 위한 충분조건이고 , Q 는 P 이기 위한 필요조건이라 합니다. 두 집합이 같은 경우 필요/충분 조건이라 합니다.