집합 A에 대하여 집합 A의 임의의 원소 a , b 가 A 집합의 원소일 때, a * b 가 집합 A의 원소면 집합 A는 연산 *에 대해 닫혀있다고 한다


를 수식 형태로 나타내면 


a , b ∈ A       ㅡ>    a * b ∈ B 


단순히 이렇게만 써도 문제없는 명제인가요?


아니면 a , b ∈ A       ㅡ>    a * b ∈ B ,  a , b ∈ A  


라고 써야 맞는건가요?