xは集合Aの元であり、空集合でなく、Aの部分集合tに含まれても
逆にtを含むことはない…といったところです。