「transitive」の共起表現一覧(1語右で並び替え)
該当件数 : 94件
is arc | transitive and symmetric. |
By nature, these verbs were almost always | transitive, and even today, most weak verbs are transit |
A symmetric relation that is also | transitive and reflexive is an equivalence relation. |
If the binary relation is antisymmetric, | transitive and also total (for all a and b in the set, |
et X is a quasi-ordering (i.e., a reflexive, | transitive binary relation) such that any infinite sequ |
Rb is never true) is vacuously symmetric and | transitive, but not reflexive. |
a preorder, a relation that is reflexive and | transitive but not necessarily antisymmetric. |
es that for any such R there exists a unique | transitive class (possibly proper) whose structure unde |
nontrivial elementary embedding of V into a | transitive class M that includes Vλ where λ is the firs |
itical point of an elementary embedding of a | transitive class into another transitive class is the s |
If | transitive class N is an inner model of ZFC and j has n |
n is bisimilar to set-membership on a unique | transitive class, hence every bisimulation-minimal set- |
ership on a (non-unique, and not necessarily | transitive) class. |
omorphic to set-membership on a (non-unique) | transitive class. |
is an elementary embedding where N and M are | transitive classes and j is definable in N by a formula |
by Stephen Warshall in 1962 for finding the | transitive closure of a graph. |
first-order logic with an added commutative | transitive closure operator (in graph theoretical terms |
The | transitive closure of the directed graph formed by choo |
thus, | transitive closure and transitive reduction have the sa |
A full | transitive closure is not needed; a commutative transit |
while looking at the | transitive closure of a system (all nodes downstream fr |
The | transitive closure of the Young-Fibonacci graph is a pa |
while looking at the | transitive closure of a system, subsumption between pai |
el of the cumulative hierarchy, TC(x) is the | transitive closure of x) |
se single-linkage clustering, constructing a | transitive closure of sequences with a similarity over |
is hereditarily countable if and only if its | transitive closure is countable. |
if it is countable, and every element of its | transitive closure is countable. |
The | transitive closure indicates path connection in R: x R+ |
f cardinality less than κ if and only if its | transitive closure is of cardinality less than κ. |
in second-order logic with the addition of a | transitive closure operator. |
defining | transitive closures through circular constraints (imple |
Below is the table of the best known vertex | transitive digraphs (as of October 2008) in the directe |
itive if it is symmetric for some values and | transitive elsewhere. |
ohesion of attributes that are fully and not | transitive functional dependent of every key in that re |
eceived his Ph.D. for his work 'On Quadruply | Transitive Groups' submitted to Ohio State University i |
dean and reflexive, it is also symmetric and | transitive, hence it is an equivalence relation. |
ces must be not merely congruent but must be | transitive, i.e. must lie within the same symmetry orbi |
ematics, a binary relation R over a set X is | transitive if whenever an element a is related to an el |
e assumed to be quasitransitive (rather than | transitive) in some economic contexts. |
ntary embedding j from the universe V into a | transitive inner model M with critical point κ, j(κ)>λ |
elementary embedding j : V → M from V into a | transitive inner model M with critical point κ and λM⊆M |
ntary embedding j from the universe V into a | transitive inner model M with critical point κ and |
If such a relation is also | transitive it is a strict total order; this is a specia |
working layer (containing diamonds) and the | transitive layer (not containing diamonds) of the diamo |
logics: admissibility of rules in the basic | transitive logics IPC, K4, S4, GL, Grz is coNEXP-comple |
rongly λ-unfoldable if and only if for every | transitive model M of cardinality κ of ZFC-minus-power |
r κ is λ-unfoldable if and only if for every | transitive model M of cardinality κ of ZFC-minus-power |
dinal if Lα is an admissible set (that is, a | transitive model of Kripke-Platek set theory); in other |
stowski collapse lemma it is isomorphic to a | transitive model of ZF and such a transitive model is u |
an intransitive verb as for the object of a | transitive one; this case is called the absolutive. |
uage, which differ based on whether they are | transitive or intransitive, and whether they take anima |
(As a | transitive or intransitive verb, wat means to measure, |
asses of undirected graphs: it satisfies the | transitive property (a minor of a minor of G is a minor |
yhedra may be regular (if also face and edge | transitive), quasi-regular (if edge transitive but not |
phrase "Hasse diagram" may also refer to the | transitive reduction as an abstract directed acyclic gr |
"The | Transitive Reduction of a Directed Graph". |
In mathematics, a | transitive reduction of a binary relation R on a set X |
set is finite, its covering relation is the | transitive reduction of the partial order relation. |
y, if P is a diamond-free partial order, its | transitive reduction forms a DAG in which the successor |
However, neither existence nor uniqueness of | transitive reductions is guaranteed in general. |
Preorder - a reflexive | transitive relation |
on a set S that is a strict partial order (a | transitive relation that is irreflexive, or equivalentl |
no general formula that counts the number of | transitive relations on a finite set (sequence A006905 |
y type example, either directly or through a | transitive relationship involving one or more sequences |
ively, dominance may be hierarchical, with a | transitive relationship, so that if A dominates B and B |
of the Wach," When speaking of "Wachau" in a | transitive sense, such as "in the Wachau," the article |
e; the term blunder was originally used in a | transitive sense, synonymous with to confuse, and this |
s subtle if and only if for every λ<κ, every | transitive set S of cardinality κ includes a chain (und |
ord and Cambridge colleges, the ties are not | transitive so it is impossible to make a four-column ch |
, IBM and SGI are also using QuickTransit by | Transitive; SPARC→x86 for Sun, x86→Power Architecture f |
ject in antipassive constructions (where the | transitive subject receives the absolutive case instead |
employs a three-way case-marking strategy: a | transitive subject, a transitive object, and an intrans |
rch-Rosser property means that the reflexive | transitive symmetric closure is contained in the joinab |
property of friendships is that they are not | transitive: The friend of a friend is not considered to |
A | transitive tournament on 8 vertices. |
Based on the idea of | transitive trust, a peer i would ask other peers it kno |
e -o-/-u- (rather than -i-) as the marker of | transitive valency and both display the plural suffix - |
The accusative marks the direct object of a | transitive verb in a transitive sentence. |
As a neologism, the term is a | transitive verb meaning "to send a friend request on Fa |
Opine ( | transitive verb): to hold or express an opinion. |
th "shiv", can be used either as a noun or a | transitive verb, referring to the weapon or the act of |
For the subject of a | transitive verb, however, the ergative case is used. |
transitive verb: Kaalip [ERG] Hansi [ABS] takuaa. | |
transitive verb: He [NOM] sees me [ACC]. | |
prewellordering is a binary relation that is | transitive, wellfounded, and total. |
Like the Kneser graph it is vertex | transitive with degree . |
neycomb that has its cells are congruent and | transitive with each other. |
(intransitive with inanimate subject), VTA ( | transitive with animate object), and VTI (transitive wi |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |