하나,one

Difference between r1.1 and the current

@@ -12,3 +12,19 @@
[[비트,bit]]
...
}
 
Rel
empty_product =,empty_product . empty_product ///번역?
{
WtEn:empty_product
 
Rel empty_sum
 
https://oeis.org/wiki/Empty_product
}//empty product .... Ggl:"empty product" Bing:"empty product"
[[모나드,monad]] .... via https://ncatlab.org/nlab/show/monad+(disambiguation)#HistoricalOrigins
unit - [[유닛,unit]] [[단위,unit]]
 
 
----
https://oeis.org/wiki/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