是

“x+3>1。”是命题。

若关系R是对称的，则其关系图中若两个结点之间有弧线，就一定是有双向两条弧。

如果a是集合A中的元素，则称a属于A，记作a∉A。

设〈G，∘〉是一个群.若存在从〈G，∘〉到〈H，*〉的满同态，则〈H，*〉也构成群。

在任何图中，奇数度的结点数必是偶数。

在格〈L，∨，∧〉中，如果交运算对并运算是可分配的，则并运算对交运算也是可分配的。

完全图Kn没有割集，它的连通性能是最好的。

代数系统〈G，∘〉为群的条件是存在零元素。

域是整环。

 设 ，则 的幂集是 。