Definition:Unitary Subalgebra