Some properties of finite sets.