是否有“是”的标准符号？

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.汽车。