finite_set.md

含有有限个元素的集合称为有限集