if and only if in Czech

(logic, mathematics) Is equivalent to; implies and is implied by; is true and false in the same cases as.