S.n.s.
El Vikipedio
En matematiko, filozofio kaj logiko, s.n.s. estas mallongigo de se kaj nur se. La frazo "P estas necesa kaj sufiĉa por Q" havas saman signifon kiel "Q s.n.s. P".
Formule oni indikas tiun rilaton per la signoj ⇔ aŭ ≡.
Se jam ekzistas alilingva samtema artikolo pli disvolvita, traduku kaj aldonu el ĝi.