In fact , by T13.3 , lub { o , x } and glb { o , x } are complementary subvalues of x , since by T12.27 , they are orthogonal and by T12.25 ( a ) , x is ...
確定! 回上一頁