maximals

1. 1.

   The element of a set with the greatest magnitude.

   集合中幅度最大的元素。

2. 2.

   Said of an ideal of a ring or a filter of a lattice: that it is as large as it can be without being trivial (improper).

   指环的理想或格的滤子:尽可能大而不平凡(非真)。

3. 3.

   Said of a set of well-formed formulas: that it is as large as it can be without being inconsistent; i.e. that for any well-formed formula φ, the set contains either φ or ~φ.

   指合式公式集合:尽可能大而不矛盾；即对任何合式公式φ,集合包含φ或¬φ。

指环的理想或格的滤子:尽可能大而不平凡(非真)。；指合式公式集合:尽可能大而不矛盾；即对任何合式公式φ,集合包含φ或¬φ。；最大的；最高的

Connections

Learner notes