(a\cap b)C_\infty