Home
Random
Log in
Settings
About Azupedia
Disclaimers
Azupedia
Search
(Q6169)
Language
Watch
Revision as of 20:04, 31 March 2023 by
Fire
(
talk
|
contribs
)
(
Created claim:
defining formula
(P333)
: \left(\forall x,y\colon x<y\implies f(x)<f(y)\right)\lor\left(\forall x,y\colon x<y\implies f(x)>f(y)\right))
(
diff
)
← Older revision
| Latest revision (diff) | Newer revision → (diff)
Statements
subclass of
monotonic function
0 references
defining formula
(
∀
x
,
y
:
x
<
y
⟹
f
(
x
)
<
f
(
y
)
)
∨
(
∀
x
,
y
:
x
<
y
⟹
f
(
x
)
>
f
(
y
)
)
{\displaystyle \left(\forall x,y\colon x<y\implies f(x)<f(y)\right)\lor \left(\forall x,y\colon x<y\implies f(x)>f(y)\right)}
0 references
Sitelinks
⧼wikibase-sitelinks-mywikigroup⧽
(0 entries)
edit
