Item:Q6169: Difference between revisions

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