In algebra, the bicommutant of a subset S of a semigroup is the commutant of the commutant of that subset. It is also known as the double commutant or second commutant and is written .