countif函数的语法格式可以表示为：=countif(区域，条件)。这个函数有两种定义方式，传统定义和近代定义，它们的核心概念是一样的，只是叙述的角度有所不同。传统定义从运动变化的角度出发，而近代定义从集合和映射的角度出发。
近代定义中，我们给定一个数集A，并假设其中的元素为x。通过应用对应法则f到A中的每个元素x上，我们得到另一个数集B，并假设B中的元素为y。我们可以用y=f(x)来表示y与x之间的等量关系。函数的概念包含了三个要素：定义域A、值域B和对应法则f。其中，对应法则f是函数关系的本质特征。
