the state or property of being equivalent
the relation between two statements that are either both true or both false such that each implies the other
a logical function of two statements, which takes the value true if both statements are true or both false and the value false otherwise