Let f:X→Y and g:X→Z each be a D18: Map.
Then f constancy-preserving with respect to g:X→Z if and only if
∀x,y∈X(g(x)=g(y)⟹f(x)=f(y))
▼ | Set of symbols |
▼ | Alphabet |
▼ | Deduction system |
▼ | Theory |
▼ | Zermelo-Fraenkel set theory |
▼ | Set |
▼ | Binary cartesian set product |
▼ | Binary relation |
▼ | Map |
▼ | Constant map |