[1] [DFN[有限集合]]とは、[[元]]が有限個の[[集合]]です。