Element: consistent, defined as a logical predicate

• 元素:一致性,定义为一个逻辑断言