Math 图中的数学符号是什么意思？

我在下面看到一张带有特殊符号的纸，但我不知道它的意思

定义5.1伽罗瓦连接/插入。让C，⊆ 和，⊑ 是两个完全格。[……]

---

⊑ 表示lattice A的顺序关系。

我投票将此问题作为主题外的问题结束，因为它与中定义的编程完全无关。这是一篇关于JVM机制的论文，与编程完全相关。答案在您发布的定义中。它可以是任何其他符号，但这一符号直观地与偏序关联。如果这篇论文是关于其他数学领域的，你的问题不会改变。因此，您的问题并不真正依赖于JVM机制。因此，这是离题的。我投票决定以离题结束这个问题，因为它是关于编程或软件开发的。