有限集间映射的数据结构