"is a"の標準シンボルはありますか？

Question

簡単な質問は、 "is a"関係のために受け入れられた標準シンボルがありますか？私は数学で、⊆ - サブセット、⊂ - 適切なサブセット、∈ - シンボルの要素があることを知っています。私はそれらのうちの1つを使うか、より多くのコード固有のものを使用しますか？

これは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のηカーからhere又はhereに使用されます。

3. my_sedan a車 - RDF 1.1 Turtle Syntaxのように;

4. my_sedan cop.車。