strictly monotonic function (Q6169): Difference between revisions

Latest revision as of 20:04, 31 March 2023

No description defined

Language	Label	Description	Also known as
English	strictly monotonic function	No description defined

0 references

\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

Revision as of 20:04, 31 March 2023 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 132,738 edits ‎Created claim: subclass of (P1): monotonic function (Q6167) ← Older edit	Latest revision as of 20:04, 31 March 2023 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 132,738 edits ‎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)
	Property / defining formula
		$\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)$ `\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)`
	Property / defining formula: $\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)$ / rank
		Normal rank