曖昧さ囘避「monad」

單子 (monad)

單子 (monad。光暈 (halo))

$ \mu_X(x):=\{y|y\in~^*X,~^*d_X(x,y)は{\rm infinitesimal}\}

←→銀河 (galaxy)

$ G_X(x):=\{y|y\in~^*X,~^*d_X(x,y)は有限\}

「ノマド」ではない