设S是无限集X的有限集,则存在X到X\S的一一映射
出自:兰州工业学院 线性代数