环的非空子集s是R的理想条件