nun sim bi'o lujvo

n₁ is an event of integration between s₁=b₁

In notes:

nuncmibi'o: n₁ is the integration of b₁=c₁ as a member/element of group/set c₂ under conditions b₃