「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会員(無料)になると
|