Assertion: initial algebra | /r/HasProperty | minimal
Facets:
Source sentences:
text: Initial algebras are minimal (i.e., have no proper subalgebra).