bazysa'u lujvo

x1 is a necessary and sufficient condition for x2 to happen

Synonymous with bazyjvesa'u. See also banzu, sarcu. Properties: bazysa'u(X,Y) ↔ bazysa'u(¬X,¬Y); bazysa'u(X,Y) ↔ [banzu(X,Y) ∧ sarcu(X,Y)]…

In notes:

bazyjvesa'u
x1 is a necessary and sufficient condition for x2 to happen