Om och endast om
Wikipedia
Om och endast om, förkortat omm, är ett uttryck som är vanligt inom matematik och logik. ”A om och endast om B” innebär att A och B är ekvivalenta, och såväl att A följer B som att B följer A. Inom matematiken säger man att B är ett nödvändigt och tillräckligt krav för A.
Inom matematiken används även symbolen . Exempel:
Vilken kan utläsas "a − b = c om och endast om a = b + c" eller "a − b = c är ekvivalent med att a = c + b".