偏序 式子 规律 数学