u/unital_subalgebra