subalgebraical
not defined yet