snicmaci lujvo

c1 is an algebra of type/describing c2

Includes both elementary and abstract algebra. See also cmaci, sinxa


In notes:

algebra
x1 is an algebra of type/describing x2