Processing math: 100%
Order-reflecting function
Set
context
X
,
Y
context
≤
X
,
≤
Y
context
…non-strict partial order
definiendum
f
∈
i
t
f
:
X
→
Y
x
,
y
∈
X
postulate
f
(
x
)
≤
Y
f
(
y
)
⟹
x
≤
X
y
Discussion
Reference
Wikipedia:
Monotone function
Parents
Refinement of
Function
Context
Non-strict partial order