===== Right-continuous function =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $p\in\mathbb N$ |

| @#FFBB00: definiendum | @#FFBB00: $f\in\mathrm{RightContinuous}(\mathbb R^p,\mathbb R) $ |

| @#55EE55: postulate   | @#55EE55: $f:\mathbb R^p\to\mathbb R$ | 

| @#DDDDDD: range       | @#DDDDDD: $\varepsilon,\delta\in \mathbb R_+^*$ |
| $y\in\mathbb R^p$ | 

| @#55EE55: postulate   | @#55EE55: $\forall y.\ \forall\varepsilon.\ \exists \delta.\ \forall x.\ (x\ge y\ \land\ \Vert x-y \Vert < \delta) \implies |f(x)-f(y)|<\varepsilon$ | 

==== Discussion ====
=== Reference ===
Wikipedia: [[http://en.wikipedia.org/wiki/Continuous_function|Continuous function]]
==== Parents ====
=== Subset of ===
[[Continuous function]]
=== Related ===
[[Real coordinate space]], [[Norm]]