This is LaTeX code:

[latex]
$s_a \circ s_b = s_C, a \ne b \Rightarrow C = a \cap b, a \perp b$
[/latex]