请解释一下离散数学中各种群的定义以及之间的关系?