Wiktionary
biconditionality
n. (context mathematics English) The condition of being biconditional