Search the corpus

    Constant map

    D-VZS33

    Let \(X\) and \(Y\) be sets. A map \(f\colon X\to Y\) is constant if there exists \(y_0\in Y\) such that \(f(x) = y_0\) for every \(x\in X\).

    What links to this