[일반] 이항연산 well defined 질문

[익명(58.234)]

-1을 제외한 실수 집합 S 위에 *가 정의되어있다.

*는 S위에서 이항연산임을 보여라

이게 문제인데 closed는 보였는데 well defined는 안 보여도 되는거야?

솔루션에는 closed만 보였는데 이항연산이 정의되려면 well defined도 만족시켜야되는거 아니야>??

독학 넘나 어려운것 

[코코넛(116.37)]

closed니깐 well-defined이지

[markov(willlit)]

보여야지 그냥 trivial 하다고 여긴듯 솔루션에서

[그게(121.133)]

well-defined라고 두리뭉실 하게 말하지 말고 정확히 뭘 보여야한다는 건지 적어보세요.