This is LaTeX code:
[latex]
$s_a \circ s_b = s_C, a \ne b \Rightarrow C = a \cap b, a \perp b$
[/latex]