ある定義がwell-definedであることを示す時は何を示したらいいのですか?