上界法的基本概念