≤ 表达式a  b可能指 a小于等于b见不等 a是b的子群