是否有「是」的標準符號？

Question

簡單的問題是，是否存在「是」關係的公認標準符號？我知道在數學中有⊆ - 子集，⊂ - 正確的子集，∈ - 符號元素，我只使用其中的一個還是有更多的代碼特定的使用？

這是在試圖迴應寫入爲sedan === car的陳述時想到的，我想知道===使用的更好的符號是什麼。

Answer 1

據我瞭解，您正在尋找像內涵符號的東西。由於它的擴展性質，你不想使用傳統的集合論「∈」。

右鍵，設置理論 「∈」（以及集合論本身）是伸展由於這些公理：

1. ∀P∃A∀X（X∈A⇔P（X） ） - 理解公理（非常天真的形式），
2. ∀A∀B（∀X（X∈A⇔X∈B）⇔A= B） - 擴展性公理。

在組理論術語來說，一個可以寫這樣的：

• my_sedan∈汽車，或

• my_sedan∈{X：汽車（X）}，或

• 汽車（my_sedan）。

沒有被接受的標準符號「intensional membership」。你可以試試：

1. my_sedan：汽車 - 在一個type theory方式;

2. my_sedanηCar - as used here or here;

3. my_sedan a Car - 如RDF 1.1 Turtle Syntax;

4. my_sedan cop.汽車。