当一个非空数集 满足条件“若 ，则a+b，a-b， ，且当 时， ”时，称 为一个数域，以下四个关于数域的命题：其中，真命题为（    ）