⊥ ⊥ 垂直 x ⊥ y 表示 x 垂直于y; 更一般的 x正交于y. 若 l⊥m和m⊥n 则 l || n.
垂直于
几何
底元素 x = ⊥ 表示 x是最小的元素. ??x : x ∧ ⊥ = ⊥
底元素
格理论