記号上は、 "a" ⊆ "b" が "a" が "b" の部分集合であることを意味し、"b" ⊇ "a" は "b" が "a" の上位集合であることを意味する。