等價關係固定載體上的關係若完整滿足反身、對稱與傳遞，則為等價關係。atlas-equivalence-relation · canonical_mko等價關係前置節點二元關係與集合投影邏輯連接詞量詞與明示論域