subfactor (factor + sub-; below_under)
A particular form of subalgebra