补元律

$\forall a\in B,\exists a^{\prime }\in B,a\ast a^{\prime }=0,a\circ a^{\prime }=1$.