这两个符号的代表什么意思?(应该属数学集合或逻辑学范畴)

问题描述:

这两个符号的代表什么意思?(应该属数学集合或逻辑学范畴)
在看一本贝尔实验室出的数据库概念方面的书,有两个符号不知道意思
第一个符号——打不出,用语言描述吧:圆圈插一个斜杠,即将/插到O中去
第二个符号—— “:= ” 等号前加一个冒号,比如A:=B

第一个是数论里面的吧,
代表集合是空集.
第二个,使定义初值或付值的意思
如A:=B
定义A的初值为B,或把B付给A