What is a biconditional relation?

Definition

A biconditional relation is a relation between a consequent and a condition. The consequent is true or in force if and only if the condition is true, with the result that there is a conditional relation in both directions between the related propositions.