Template:Universal algebra-subalgebra property