モナド (超準解析)
一様空間 X {\displaystyle X} のモナドとは、一様性 U {\displaystyle {\mathcal {U}}} (これは直積 X × X {\displaystyle X\times X} 上のフィルターである)のモナドとして定まる同値関係 ≈ {\displaystyle \approx } を言う。また、 ∗ X {\displaystyle {}^{\ast }X} の点 x {\displaystyle x} のモナドとは、 x {\displaystyle x} の ≈ {\displaystyle \approx } に関する同値類のことである。この定義は超実数や位相空間におけるモナドの定義と整合的である。