(logic) An "if and only if" conditional wherein the truth of each term depends on the truth of the other
Having two conditions