충분, 필요 조건

1. 필요 조건
   
   1. b if a: a->b
2. 충분 조건
   
   1. a only if b: a->b
3. 필요충분조건
   1. a->b 이면서 b->a인 경우
   2. a와 b가 완전히 같은 경우(=동치) ==> a는 b를 위한 필요충분조건

용어

1. conjecture: 추측