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