Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Binary cartesian set product
Binary relation
Map
Constant map
Definition D3966
Constancy-preserving map
Formulation 0
Let f:XY and g:XZ each be a D18: Map.
Then f constancy-preserving with respect to g:XZ if and only if x,yX(g(x)=g(y)f(x)=f(y))