Bijunktion
[zu bi... und lateinisch iungere, iunctum »verbinden«] die, -/-en, seltener Bikonditional, mathematische Logik: die Verknüpfung zweier Aussagen A und B durch den Junktor »genau dann, wenn« (Zeichen ⇔ oder ↔) zu einer neuen Aussage A ⇔ B (»A gilt genau dann, wenn B gilt«). Äquivalenz.