Примеры использования Subseteq на Английском языке и их переводы на Русский язык
{-}
-
Official
-
Colloquial
I is said to be right ideal if I R⊆ I{\displaystyle IR\subseteq I.
Assume that p has a root in K⊆ R{\displaystyle K\subseteq R} which is an extension of F by radicals.
A rule is defined as an implication of the form: X⇒ Y{\displaystyle X\Rightarrow Y}, where X, Y⊆ I{\displaystyle X,Y\subseteq I.
S A⊆ S× R{\displaystyle SA\subseteq S\times R} and is a many to many subject to role assignment relation.
To prove the third claim, we show that X⊆⋃k B k s, t{\displaystyle\textstyle X\subseteq\bigcup_{ k} B_{ k}^{ s, t.
It is required to construct the tree[math]T*\subseteq E[/math] that connects all the vertices and has the least possible weight among all such trees.
A source s∈ V{\displaystyle s\in V}wants to transmit a file D{\displaystyle D} to a set T⊆ V{\displaystyle T\subseteq V} of the vertices.
Using set theory notation:P A⊆ P× R{\displaystyle PA\subseteq P\times R} and is a many to many permission to role assignment relation.
Like every partially ordered set, Open(X) forms a small category by adding a single arrow U→ V if andonly if U⊆ V{\displaystyle U\subseteq V.
According to DeVos, Nesetril, andRaspaud,"A cycle of a graph G is a set C⊆{\displaystyle\subseteq} E(G) so that every vertex of the graph(V(G), C) has even degree.
This problem has kernels of size exponential in k{\displaystyle k}, and it does not have kernels of sizepolynomial in k{\displaystyle k} unless coNP⊆ NP/poly{\displaystyle{\text{coNP}}\subseteq{\text{NP/poly.
This does not hold for modules over arbitrary rings,as the example( 2, X)⊆ Z{\displaystyle(2,X)\subseteq{\mathbb{Z}}} of modules over Z{\displaystyle{\mathbb{Z}}} shows.
QUESTION: Is there a subset X⊆ V{\displaystyle X\subseteq V} with| X|≤ k{\displaystyle|X|\leq k} such that G{\displaystyle G} with the vertices from X{\displaystyle X} deleted is cycle-free?
Equivalently, R can also be viewed as a submatrix of the input matrix A such that R M× N{\displaystyle R=M\times N}where M⊆ X{\displaystyle M\subseteq X} and N⊆ Y{\displaystyle N\subseteq Y.
The conductor is defined to be the ideal{ y∈ O L: y O L⊆ O K};{\displaystyle\{y\in O_{L}:yO_{L}\subseteq O_{K}\};} it measures how far the order OK is from being the whole ring of integers(maximal order) OL.
An incidence structure is a triple C( P, L, I).{\displaystyle C=(P, L, I).\,} where P is a set of"points",L is a set of"lines" and I⊆ P× L{\displaystyle I\subseteq P\times L} is the incidence relation.
C i⊆ A i× T i{\displaystyle C_{i}\subseteq A_{i}\times T_{i}} defines the available actions for player i{\displaystyle i} of some type in T i{\displaystyle T_{i}}. u i: Ω× A→ R{\displaystyle u_{i}\colon\Omega\times A\rightarrow R} is the payoff function for player i{\displaystyle i.
Normalization: The total Chern class of thetautological line bundle over C P k{\displaystyle\mathbb{CP}^{k}} is 1-H, where H is Poincaré-dual to the hyperplane C P k- 1⊆ C P k{\displaystyle\mathbb{CP}^{k-1}\subseteq\mathbb{CP}^{k.
We may take the open sets as a starting point and define D( a){ p∈ Proj S∣ a⊈ p}.{\displaystyle D(a)=\{p\in\operatorname{Proj}\,S\mid a\;\ not\ subseteq\; p\}.} A common shorthand is to denote D(Sf) by D(f), where Sf is the ideal generated by f.
The vertex cover problems in d{\displaystyle d}-uniform hypergraphs has kernels with O( k d){\displaystyle O(k^{d})} edges using the sunflower lemma, and it does not have kernels of size O(k d- ε){\displaystyle O(k^{d-\varepsilon})} unless coNP⊆ NP/poly{\displaystyle{\text{coNP}}\subseteq{\text{NP/poly.
Furthermore, it does not have kernels with O( k 2- ε){\displaystyle O(k^{2-\varepsilon})}edges unless coNP⊆ NP/poly{\displaystyle{\text{coNP}}\subseteq{\text{NP/poly}}}. k-Path: The k-path problem is to decide whether a given graph has a path of length at least k{\displaystyle k.
M{\displaystyle M} is a strong module of a graph G{\displaystyle G} if it does not overlap any other module of G{\displaystyle G}:∀ M′{\displaystyle\forall M'} module of G{\displaystyle G},either M∩ M′∅{\displaystyle M\cap M'=\emptyset} or M⊆ M′{\displaystyle M\subseteq M'} or M′⊆ M{\displaystyle M'\subseteq M.
However, much stronger bounds on the kernel size can be proven in this case:unless coNP⊆{\displaystyle\subseteq} NP/poly(believed unlikely by complexity theorists), for every ϵ> 0{\displaystyle\epsilon>0} it is impossible in polynomial time to find kernels with O( k 2- ϵ){\displaystyle O(k^{2-\epsilon})} edges.
A locally convex space X{\displaystyle X} is called co-complete if each linear functional f: X→ C{\displaystyle f: X\to\mathbb{C}}which is continuous on every totally bounded set S⊆ X{\displaystyle S\subseteq X}, is automatically continuous on the whole space X{\displaystyle X.
A locally convex space X{\displaystyle X} is called a Pták space, or a fully complete space, if in its dual space X⋆{\displaystyle X^{\star }}a subspace Q⊆ X⋆{\displaystyle Q\subseteq X^{\star}} is X{\displaystyle X}-weakly closed when it has X{\displaystyle X}-weakly closed intersection with the polar U∘{\displaystyle U^{\circ}} of each neighbourhood of zero U⊆ X{\displaystyle U\subseteq X.
From the perspective of the DPO approach a graph rewriting rule is a pair of morphisms in the category of graphs and graph homomorphisms between them:r( L← K→ R){\displaystyle r=( L\ leftarrow K\ rightarrow R)}(or L⊇ K⊆ R{\displaystyle L\supseteq K\subseteq R}) where K→ L{\displaystyle K\rightarrow L} is injective.
A near 2d-gon is an incidence structure( P, L, I{\displaystyle P, L, I}), where P{\displaystyle P} is the set of points, L{\displaystyle L} is the set of lines andI⊆ P× L{\displaystyle I\subseteq P\times L} is the incidence relation, such that: The maximum distance between two points(the so-called diameter) is d.
For n≥ 3{\displaystyle n\geq 3} a generalized n-gon is an incidence structure( P, L, I{\displaystyle P, L, I}), where P{\displaystyle P} is the set of points, L{\displaystyle L} is the set of lines andI⊆ P× L{\displaystyle I\subseteq P\times L} is the incidence relation, such that: It is a partial linear space.
In functional analysis and related areas of mathematics, Smith space is a complete compactly generated locally convex space X{\displaystyle X} having a compact set K{\displaystyle K}which absorbs every other compact set T⊆ X{\displaystyle T\subseteq X} i.e. T⊆ λ⋅ K{\displaystyle T\subseteq\lambda\cdot K} for some λ> 0{\displaystyle\lambda>0.