if and only if
Definition from Wiktionary, the free dictionary
- (logic) Is equivalent to; implies and is implied by; is true and false in the same cases as.
- A rectangle is a square if and only if all four of its sides have the same lengths.
- An integer is even if and only if its square is also even.
implies and is implied by