可测集的性质