同一律

$\exists 0,1\in B,\forall a\in B,a\ast 1=a,a\circ 0=a$.