面积是一个数，它是可以度量出来的。面积是定义在集合群上的一个函数即它具有正则性；它还具有有限可加性；还有运动不变性。 面积是面的大小，也就是度量的结果。因此，长度、体积等也按照这个定义来执行，进而发展成了 “测度公理”。