프리드버그 선대 보는데 유한차원이랑 달리 무한차원끼리는 전사나 단사함수가 반드시 생긴다고 보장 못 한다였나
그 이야기 있길래 무한이라 그런건가? 했는데

가산,비가산 때문에 그런가