The advantage of this notion is that it can be extended to infinite sets.
这个概念的好处是它可以扩展到无限集合。