Un espacio es separable si tiene un subconjunto denso numerable.
A space is separable if it has a countable dense subset.
De manera equivalente, un conjunto es numerable si tiene la misma cardinalidad que algún subconjunto del conjunto de los números naturales.
Equivalently, a set is countable if it has the same cardinality as some subset of the set of natural numbers.
Un conjunto abierto efectiva es un conjunto abierto que es la unión de la secuencia de conjuntos abiertos básicos determinados por una secuencia recursivamente numerable de cadenas binarias.
An effective open set is an open set that is the union of the sequence of basic open sets determined by a recursively enumerable sequence of binary strings.
Una lengua es recursivamente numerable (generada por la gramática de tipo 0) si es aceptado por una máquina de Turing.
A language is recursively enumerable (generated by Type-0 grammar) if it is accepted by a Turing machine.
He dicho de la demanda que es numerable en sus vueltas.
I have said the demand numerable in its turns.
Valoramos sus sugerencias positivas para que su estadía con nosotros sea numerable.
We value your positive suggestions to make your stay with us a numerable one.
Si X tiene medida positiva, la aditividad numerable probaría que la circunferencia tiene medida infinita.
If X has positive measure, countable additivity would show that the circle has infinite measure.
Así que estamos hablando de una unión numerable de conjuntos numerables, que es contable por el teorema anterior.
So we are talking about a countable union of countable sets, which is countable by the previous theorem.
En un espacio métrico, las nociones de compacidad sucesional, compacidad de punto límite, compacidad numerable y compacidad son equivalentes.
In a metric space, the notions of sequential compactness, limit point compactness, countable compactness and compactness are equivalent.
Esta demostración hace uso del hecho de que todo real en M es definible sobre una sucesión numerable de ordinales, y por tanto N y M tienen los mismos reales.
The proof of this uses the fact that every real in M is definable over a countable sequence of ordinals, and hence N and M have the same reals.
La conclusión del teorema es una declaración local, ya que una unión numerable de conjuntos de medida cero es un conjunto de medida cero, y la propiedad de un subconjunto de un parche de coordenadas que tiene medida cero es invariante bajo difeomorfismo.
The conclusion of the theorem is a local statement, since a countable union of sets of measure zero is a set of measure zero, and the property of a subset of a coordinate patch having zero measure is invariant under diffeomorphism.
El conjunto de estas traslaciones forma una partición de la circunferencia en una colección numerable de conjuntos disjuntos, que son todos congruentes dos a dos (por rotaciones racionales).
The set of those translates partitions the circle into a countable collection of disjoint sets, which are all pairwise congruent (by rational rotations).
También: si un espacio métrico completo no vacío es la unión numerable de conjuntos cerrados, entonces uno de estos conjuntos cerrados tiene interior no vacío.
Also: if a non-empty complete metric space is the countable union of closed sets, then one of these closed sets has non-empty interior.
