A\subset C\cap B, C\cap B\subset C