Order-reflecting function
Set
| context | X,Y | ||
| context | ≤X,≤Y | context | …non-strict partial order |
| definiendum | f∈it |
| f:X→Y |
| x,y∈X |
| postulate | f(x)≤Yf(y)⟹x≤Xy |
Discussion
Reference
Wikipedia: Monotone function
Parents
Refinement of
Context
| context | X,Y | ||
| context | ≤X,≤Y | context | …non-strict partial order |
| definiendum | f∈it |
| f:X→Y |
| x,y∈X |
| postulate | f(x)≤Yf(y)⟹x≤Xy |
Wikipedia: Monotone function
