等式R⋈S=R×S成立的条件是____。