User:KBlott/Definition

$\in$ CC Monoid (still requires work) Semiclass (still requires work) Boolean algebra Universe