标签：可数子集;稠密子集;有限子集