摘要：本文利用切割集S在一个σ-域的所有概率函数组成的族P上建立一种偏序≤s，并且证明偏序集（P≤s）是一个方向完备集．此处本文研究了在P上与概率一致的PPoset序型，证明了在PPoset上的序越复杂，则统计检验的可靠性越差．

关键词：偏序 概要 galois连络 dcpo 

单位：湖南大学数学与计量经济学院; 长沙; 410082; 湖南涉外经济学院; 长沙; 410205; 湖南城市学院土木工程学院; 益阳; 413000