7e9c8002b6806eff23ef83e3429c701e64016be4da1242f899004ce647b086641eb02686dfc6cca6eef97b2cb870f49287af324b0bff



S는 함수고, S(i)는 set임.

f(i) ㅌ S(i) 이면 f는 ㅠS의 원소임

모든 i에 대해 S(i) = B 면 모든 i에대해 f(i) ㅌB 이므로

f는 on I into B임. 그래서 이런 f들의 집합인 ㅠS= B^I 인거임