subdirect (direct + sub-; below_under)
Describing a subalgebra of a direct product