是

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

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

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

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

“如果1+1≠3，则2+2≠4”是真命题。

无向图G为欧拉图，则G是连通的。

设A, B, C是命题公式，则AVBV﹁C 也是命题公式。

 设〈L，≤〉是格，则格的交∧和并∨运算满足等幂律。

强连通图一定是单向连通图。

下列所示的哈斯图所对应的偏序集中能构成格的是（　　　）