<philosophy of science, logic> the conjunction of two conditionals, the antecedent of each of which is the consequent of the other; that is, any statement of the form: "P if and only if Q." Although they may have other uses, all biconditionals involve at least the logical structure of material equivalence.
See equivalence.
[A Dictionary of Philosophical Terms and Names]
Try this search on OneLook / Google