無限集合はどうするか?
写像はどうするか?