F <comp> some r ⇔ ∃ t ∈ r such that (F <comp> t ), where <comp> can be: <, >, =, <= (less or equal), >= (greater or equal), <> (not equal)

这是一个关于比较运算符的定义，其中 <comp> 可以是 <，>，=，<=（小于等于），>=（大于等于），<>（不等于）。表达式 F <comp> some r 表示 F 与集合 r 中的某个元素进行比较运算 <comp>，而且这个元素可以是任何一个属于 r 的元素。也就是说，F <comp> some r 的结果为 true，当且仅当集合 r 中存在一个元素 t，使得表达式 F <comp> t 的结果为 true。