Translation of ordered pair from English into Chinese
Noun
set theory
two elements in a specific sequence- The point (3, 4) is an ordered pair.点 (3, 4) 是一个有序对。
Synonyms and analogies of ordered pair in English
Examples of ordered pair in a sentence
Ordered pairs are used to define relations in set theory.
Translations of "ordered pair" in Context ordered by category and frequency
Holmes (1998) takes the ordered pair and its left and right projections as primitive.
Holmes（1998）把有序对与它的左和右投影定為原始概念。
ordered pair: Examples and translations in context
If one can define a pair in such a way that its type is the same type as that of its arguments (resulting in a type-level ordered pair), then a relation or function is merely one type higher than the type of the members of its field.
如果能以其类型是同它的参数一样的类型的方式定义对（导致一个类型齐平有序对），则关系或函数有只比它的域的成员的类型高1的类型。
If relations are defined in terms of ordered pairs, this axiom requires a prior definition of ordered pair; the Kuratowski definition, adapted to ST, will do.
如果关系以有序对的方式定义，这个公理要求有序对的先决定义；ST接受Kuratowski的定义。
The usual definition of the ordered pair, first proposed by Kuratowski in 1921, has a serious drawback for NF and related theories: the resulting ordered pair necessarily has a type two higher than the type of its arguments (its left and right projections).
首先由Kuratowski在1921年提议的有序对常用的定义对于NF和相关理论有个严重缺陷：结果的有序对必定有比它的参数（它的左和右投影）的类型高2的类型。