bicommutant (commutant + bi-): A double commutant (that commutes with the elements of two subgroups)