始代数
始代数は最小である (すなわち、真の部分代数を持たない)。
終余代数は単純である (すなわち、真の商を持たない)。