集合的长度与概率