@size(set_name)
该函数返回集set_name 的成员个数.在模型中明确给出集大小时最好使用该函
数.它的使用使模型更加数据中立,集大小改变时也更易维护.