if and only if
- (logic, mathematics) 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 length.
An integer is even if and only if its square is also even.
implies and is implied by