하나,one


영,zero 또는 하나인... -> rel. 둘,two
{
(0,1)-valued *
크로네커_델타,Kronecker_delta
Boolean *
binary *
비트,bit
...
}

Rel
empty_product =,empty_product . empty_product ///번역?
{
WtEn:empty_product

Rel empty_sum