well-definedという言葉は便利な反面曖昧性があるので，僕は「対応が写像であることを示す」や「写像としてwell-definedであることを示す」と書いています．
A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.
