常值映射

一个映射 被称为常值映射，其常数值为 ，如果对于所有 ，有 ，即，如果 的所有元素都被映射到 Y 中的同一个元素 y。