P（A）是非空集合A 的幂集，则P（A）上的真包含关系是P（A）上的偏序关系。

联结词集合{7，→}是功能完备集。

判断题联结词集合{7，→}是功能完备集。

整数集合{1，2，3，4，6，12}关于整除关系构成了偏序集，并且该偏序集是格。

判断题整数集合{1，2，3，4，6，12}关于整除关系构成了偏序集，并且该偏序集是格。

整数集合Z和普通的减法运算是封闭的。

判断题整数集合Z和普通的减法运算是封闭的。