ᗄy∃zᗄx(x∈z↔x∈y∧P(x)),其中P(x)为ZF形式语言中的任一公式。这个公理说明：“给定任何集合y,有着一个集合z．使得给定任何集合x．有x是z的成员当且仅当x是y的成员并且P(x)对于x成立。”注意对于所有这种谓词P都有一个公理．所以这是个公理模式。
在L -拓扑空间中，针对子集的情形给出了一套新的分离公理，研究了它们之间的关系。
In this paper, a new series of separation axioms on L-topological are introduced, their relationship are investigated.
实数集的上确界公理用到了实数集的子集，这是一种二阶逻辑的陈述。
The supremum axiom of the reals refers to subsets of the reals and is therefore a second-order logical statement.
介绍了模糊空值环境下的嵌入多值依赖、广义连接依赖、子集依赖，及其相应的公理系统。
This paper introduces embedded multivalued dependency, generalized join dependency, subset dependency under fuzzy null value circumstances and corresponding axiom.
应用推荐