Well-definedであるもの