Measure extension from meet-systems and falling measures representation

A renewed measure extension theorem is presented in this paper which extends measure from a meet-system M to B,the σ-algebra generated from M. And based on it, the falling measures representation theorems are given.