well-definedであることは言わなくていいんでつか?