当一个非空数集满足条件“如果则，并且当时，”时，我们就称为一个数域．以下四个关于数域命题：①是任何数域的元素；②若数域中有非零元素，则；③集合是一个数域；④有理数集是一个数域．其中正确命题的序号为   　　  ．