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.

Informally, it is the similarity between observations as a function of the time separation between them.

Informally, this is true because polynomial time algorithms are closed under composition.

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, a relational database table is often described as " normalized " if it is in the Third Normal Form.

Informally, a graph is a good expander if it has low degree and high expansion parameters.

Informally, Kajang is known as the " Satay Town ", and is famous among tourists and locals alike.

Informally we can think of elements of the Lie algebra as elements of the group that are " infinitesimally close " to the identity, and the Lie bracket is something to do with the commutator of two such infinitesimal elements.

Informally, a measure has the property of being monotone function | monotone in the sense that if A is a subset of B, the measure of A is less than or equal to the measure of B.

Informally, word formation rules form " new words " ( that is, new lexemes ), while inflection rules yield variant forms of the " same " word ( lexeme ).

Informally speaking, the prime number theorem states that if a random integer is selected in the range of zero to some large integer N, the probability that the selected integer is prime is about 1 / ln ( N ), where ln ( N ) is the natural logarithm of N. For example, among the positive integers up to and including N = 10 < sup > 3 </ sup > about one in seven numbers is prime, whereas up to and including N = 10 < sup > 10 </ sup > about one in 23 numbers is prime ( where ln ( 10 < sup > 3 </ sup >)= 6. 90775528. and ln ( 10 < sup > 10 </ sup >)= 23. 0258509 ).

Informally, he may have been known as " Dickon ", according to a sixteenth-century legend of a note, warning of treachery, that was sent to the Duke of Norfolk on the eve of Bosworth: " Jack of Norffolke be not to bolde ,/ For Dyckon thy maister is bought and solde ".

Informally the word is also used to describe a procedure or process with a specific purpose.

Informally, a permutation of a set of objects is an arrangement of those objects into a particular order.

Informally, a set of strategies is a Nash equilibrium if no player can do better by unilaterally changing his or her strategy.

Informally, G has the above presentation if it is the " freest group " generated by S subject only to the relations R. Formally, the group G is said to have the above presentation if it is isomorphic to the quotient of a free group on S by the normal subgroup generated by the relations R.

Informally, we can consider these products on the left hand side as being elements of the free group F =

Informally, C can be regarded as the *- algebra of continuous complex-valued functions over the compact matrix quantum group, and u can be regarded as a finite-dimensional representation of the compact matrix quantum group.

Informally stated, with certain technical assumptions, every representation of the Heisenberg group is equivalent to the position operators and momentum operators on R < sup > n </ sup >.

Informally, free abelian groups or formal sums may also be seen as signed multisets with elements in B.

Informally, a free object over a set A can be thought as being a " generic " algebraic structure over A: the only equations that hold between elements of the free object are those that follow from the defining axioms of the algebraic structure.

Informally, a finite domain is a finite set of arbitrary elements.

) Informally, the elements of V < sup > B </ sup > are " Boolean-valued sets ".

In other words, L can be solved in polynomial time by an oracle machine with an oracle for H. Informally, we can think of an algorithm that can call such an oracle machine as a subroutine for solving H, and solves L in polynomial time, if the subroutine call takes only one step to compute.

Informally, the Fatou set of the function consists of values with the property that all nearby values behave similarly under repeated iteration of the function, and the Julia set consists of values such that an arbitrarily small perturbation can cause drastic changes in the sequence of iterated function values.

Informally, such Brachyceran larvae are called maggots, but the term is nontechnical and often applied indifferently to fly larvae or insect larvae in general.

Informally, dogs may be studied by those with no specific scientific training, such as publicists and authors, breeders, trainers, police dog handlers, animal communicators and others, through literature, history, and personal experience.

Informally, the reason is that the memory of such a language is limited.

Informally it can be considered more widely: from a post-colonial form of amical protection, or protectorate, to confederation of unequal members when the lesser partner ( s ) delegate to the major one ( often the former colonial power ) some authority normally exclusively retained by a self-governing state, often in such fields as defence and foreign relations, while often enjoying favorable economic terms such as market access.

Informally speaking, continuations can account for the similarity between such sentences as " Alice sees Bob "— formally, — and " Alice sees everyone ", i. e..

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, this reads as follows: something exists with the property F, there is only one such thing, and this unique thing also has the property G.

Informally, this reads as follows: there is something such that it is D and A.

Informally, the word is sometimes used as a verb to describe making or receiving such correspondence.

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 known as " The Big Book " ( with its first 164 pages virtually unchanged since the 1939 edition ), it suggests a twelve-step program in which members admit that they are powerless over alcohol and need help from a " higher power "; seek guidance and strength through prayer and meditation from God or Higher Power of their own understanding ; take a moral inventory with care to include resentments ; list and become ready to remove character defects ; list and make amends to those harmed, and then try to help other alcoholics recover.

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, it asks whether every problem whose solution can be quickly verified by a computer can also be quickly solved by a computer.

Informally, the theorem says that the curvature of a surface can be determined entirely by measuring angles and distances on the surface.

Informally, w represents a " script " for the computable function f, and F represents an " interpreter " that parses the script as a prefix of its input and then executes it on the remainder of input.

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, a computational problem consists of problem instances and solutions to these problem instances.

( Informally, input positions can be thought of as locations at token boundaries.

* Informally known as FORTRAN 66.

* Informally known as Fortran 90.

* Informally known as Fortran 95.

* Informally known as Fortran 2003.

* Informally known as Fortran 2008.

Informally, the expression " infinitesimal calculus " became commonly used to refer to Weierstrass ' approach but has become something of a dead metaphor.