Processing math: 100%
Monotonically increasing function
Function
context
X
,
Y
context
≤
X
,
≤
Y
… non-strict partial order
definiendum
f
∈
i
t
inclusion
f
:
X
→
Y
for all
x
,
y
∈
X
postulate
x
≤
X
y
⟹
f
(
x
)
≤
Y
f
(
y
)
Discussion
Parents
Subset of
Function
Context
Non-strict partial order
Related
Monotonically decreasing function
Log In
Article
Read
Search
Log In
Log In
Improvements of the human condition
Graphxioms