【这两个符号的代表什么意思?(应该属数学集合或逻辑学范畴)在看一本贝尔实验室出的数据库概念方面的书,有两个符号不知道意思第一个符号——打不出,用语言描述吧：圆圈插一个斜杠,即将/】

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

　　在看一本贝尔实验室出的数据库概念方面的书,有两个符号不知道意思

　　第一个符号——打不出,用语言描述吧：圆圈插一个斜杠,即将/插到O中去

　　第二个符号——“：=”等号前加一个冒号,比如A：=B