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