well-definedness

Redirection...잘 정의됨