Wiki. 偏序集 [偏序集]

定义

偏序集是充实于真值的范畴.