数据库书上这样写Sno是(Sno,Cno)的真子集。（是英语翻译的问题吗？）
子集的定义不是这样的吧？比如{（11，a），（12，b）}{（11，a）}这个才算是子集吧？
符号系统理解的问题。Sno 本身代表一个集合(Sno,Cno) 估计表示有两个子集合的集合，所以Sno就是它的真子集。
大括号{} 和括号（）在数学集合论中都可以表示，本来就人定义的，想怎样定义都可以。
其实不要太较真，学问没做好，就已经钻进牛角尖了
不明白你在说啥？描述清楚点