진짜 뭉크레스꺼 책 보는데 product topology부분 진도가 안나가요...
J-tuple는 x:J-X인 함수를 말하는거 맞나요?
첨수 집합의 cartesian product는 저런 J-tuple들을 모두 모아놓은 집합인걸로 생각하구요?
(뒤에 자잘한 조건은 타자로 칠줄 몰라서 생략했어요.)