集合的性质中有没有任一性?