“是”是否有标准符号？

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∈Cars，或

• my_sedan∈{x：Car（x）} ，或

• 汽车（my_sedan）

“内容成员资格”没有公认的标准符号。你可以尝试：

1. my_sedan：Car - 以type theory的方式;

2. my_sedanηCar - 使用here或here;

3. my_sedan a Car - 与RDF 1.1 Turtle Syntax中一样;

4. my_sedan cop. Car 。