>>65
集合論で得られる式は、二項定理でも得られるようなものです。
無視しても何ら不都合のない内容です。