[permalink] [id link]
Informally put, the axiom of choice says that given any collection of bins, each containing at least one object, it is possible to make a selection of exactly one object from each bin.
from
Wikipedia
Some Related Sentences
Informally and put
Informally put, the idea behind the proof of the no-trade theorem is that if there is common knowledge about the structure of a market, then any bid or offer ( i. e. attempt to initiate a trade ) will reveal the bidder's private knowledge and will be incorporated into market prices even before anyone accepts the bid or offer, so no profit will result.
Informally and axiom
Informally, the second axiom says it doesn't matter whether we restrict to W in one step or restrict first to V, then to W.
Informally and says
Informally, the theorem says that the curvature of a surface can be determined entirely by measuring angles and distances on the surface.
Informally, the theorem says that the curvature of a surface can be determined entirely by measuring distances along paths on the surface.
Informally, the reconstruction conjecture in graph theory says that graphs are determined uniquely by their subgraphs.
Informally, the theorem says that given some formal arithmetic, the concept of truth in that arithmetic is not definable using the expressive means that arithmetic affords.
# From conclude: Informally, this says that if A is a theorem, then it is provable.
Informally, it says that any " nice looking " shape without holes can be smoothly deformed into a disk.
Informally, Nakayama's lemma says that one can still regard a coherent sheaf as coming from a vector bundle in some sense.
Informally, it says that all sufficiently long words in a regular language may be pumped — that is, have a middle section of the word repeated an arbitrary number of times — to produce a new word which also lies within the same language.
Informally and given
Informally recognised for over a century as a convention of the constitution, the position of Leader of the Opposition was given statutory recognition in 1937 by the Ministers of the Crown Act.
Informally, this means that given a constructive proof that an object exists, then that constructive proof can be turned into an algorithm for generating an example of it.
Informally, these theorems say that given more time, a Turing machine can solve more problems.
Informally, senators are sometimes given the higher title of ' Venerable '.
Informally, the terms C standard library or C library or libc are also used to designate a particular implementation on a given system.
Informally, given the prime factorization of m, take b to be the product of the prime factors of m that have an odd exponent ( if there are none, then take b to be 1 ).
Informally, given a problem, the Turing jump returns the set of Turing machines which halt when given access to an oracle that solves that problem.
Informally, the function type refers to the set of functions that, given an input of type, produce an output of type.
Informally, hypoxemic hypoxia is sometimes informally given as hypoxic hypoxia.
Informally, this means that whenever we are given the unit ball of some seminorm, we can find a " much smaller " unit ball of another seminorm inside it, or that any neighborhood of 0 contains a " much smaller " neighborhood.
Informally and any
** Informally, any GPS navigation device, especially an automotive navigation system
Informally, and primarily in fiction, a detective is any licensed or unlicensed person who solves crimes, including historical crimes, or looks into records.
Informally, the term is often applied in a joking manner to describe any horse that acts up and bucks with or without a rider.
Informally, if P is any polyhedron or polytope, and tP is the polytope formed by expanding P by a factor of t in each dimension, then L ( int P, t ) is the number of integer lattice points in tP.
Informally, any sloping line is called diagonal.
Informally, software developers may also use zeroise to mean any overwriting of sensitive data, not necessarily of a cryptographic nature.
Informally, a thick object in our space is simply connected if it consists of one piece and does not have any " holes " that pass all the way through it.
Informally, it states that " A random variable that depends in a Lipschitz way on many independent variables ( but not too much on any of them ) is essentially constant ".
: 4: Informally, any whaler of any size or any vessel engaged in whale watching.
Informally, the following titles of nobility, and any holders thereof:
Informally, a Euclidean plane isometry is any way of transforming the plane without " deforming " it.
Informally and collection
Informally, a skein relation gives a linear relation between the values of a knot polynomial on a collection of three links which differ from each other only in a small region.
Informally and each
Informally basis vectors are like " building blocks of a vector ", they are added together to make a vector, and the coordinates are the number of basis vectors in each direction.
Informally, such an object can be thought of as an assemblage of one or more chunks of rubber ( cells ), each shaped like a convex polytope, which are glued to each other by their facets — possibly with much stretching and twisting.
Informally, the Condorcet winner is the person who would win a two-candidate election against each of the other candidates.
Informally and containing
Informally: a formula in prenex form containing existential quantifiers only is provable ( valid ) in first-order logic if and only if a disjunction composed of substitution instances of the quantifier-free subformula of is a tautology ( propositionally derivable ).
Informally and at
Such a definition can be formulated in terms of equivalence classes of smooth functions on M. Informally, we will say that two smooth functions f and g are equivalent at a point x if they have the same first-order behavior near x.
Informally, an object is reachable if it is referenced by at least one variable in the program, either directly or through references from other reachable objects.
( Informally, input positions can be thought of as locations at token boundaries.
Informally, a Lyapunov function is a function that takes positive values everywhere except at the equilibrium in question, and decreases ( or is non-increasing ) along every trajectory of the ODE.
Informally, one might say that the Dirac string carries away the " excess curvature " that would otherwise prevent F from being a closed form, as one has that everywhere except at the location of the monopole.
Informally the portion of the Torah read by or to the maftir is called the " maftir portion ", or the " maftir " for short: in a Chumash the word " maftir " is printed in the margin at the beginning of that portion.
Informally, the hyperfunction is what the difference f − g would be at the real line itself.
Informally referred to as Temple Law School, the school is located at the Main Campus of Temple University in Philadelphia, Pennsylvania.
0.328 seconds.