: Given any family of nonempty sets, their Cartesian product is a nonempty set.

: Given any set X of pairwise disjoint non-empty sets, there exists at least one set C that contains exactly one element in common with each of the sets in X.

Given a set of integers, does some nonempty subset of them sum to 0?

Given any vector space V over a field F, the dual space V * is defined as the set of all linear maps ( linear functionals ).

* Given any set X, there is an equivalence relation over the set of all possible functions X → X.

Given also a measure on set, then, sometimes also denoted or, has as its vectors equivalence classes of measurable functions whose absolute value's-th power has finite integral, that is, functions for which one has

Given a trigonometric series f ( x ) with S as its set of zeros, Cantor had discovered a procedure that produced another trigonometric series that had S ' as its set of zeros, where S ' is the set of limit points of S. If p ( 1 ) is the set of limit points of S, then he could construct a trigonometric series whose zeros are p ( 1 ).

Given a topological space X, let G < sub > 0 </ sub > be the set X.

Given an equilateral triangle, the counterclockwise rotation by 120 ° around the center of the triangle " acts " on the set of vertices of the triangle by mapping every vertex to another one.

Given a set S with a partial order ≤, an infinite descending chain is a chain V that is a subset of S upon which ≤ defines a total order such that V has no least element, that is, an element m such that for all elements n in V it holds that m ≤ n.

Given a binary operation ★ on a set S, an element x is said to be idempotent ( with respect to ★) if

Given a set

The knapsack problem or rucksack problem is a problem in combinatorial optimization: Given a set of items, each with a weight and a value, determine the number of each item to include in a collection so that the total weight is less than or equal to a given limit and the total value is as large as possible.

Given a complete set of axioms ( see below for one such set ), modus ponens is sufficient to prove all other argument forms in propositional logic, and so we may think of them as derivative.

Given a simple mathematical or functional description of an input or output to a system, the Laplace transform provides an alternative functional description that often simplifies the process of analyzing the behavior of the system, or in synthesizing a new system based on a set of specifications.

Given the same set of verifiable facts, some societies or individuals will have a fundamental disagreement about what one ought to do based on societal or individual norms, and one cannot adjudicate these using some independent standard of evaluation.

Given a set of training examples of the form, a learning algorithm seeks a function, where is the input space and

Given a specific task to solve, and a class of functions, learning means using a set of observations to find which solves the task in some optimal sense.

Given a point x in a topological space, let N < sub > x </ sub > denote the set of all neighbourhoods containing x.

Given a ( random ) sample the relation between the observations Y < sub > i </ sub > and the independent variables X < sub > ij </ sub > is formulated as

Given the observation space, the state space, a sequence of observations, transition matrix of size such that stores the transition probability of transiting from state to state, emission matrix of size such that stores the probability of observing from state, an array of initial probabilities of size such that stores the probability that. We say a path is a sequence of states that generate the observations.

Given the evidence of A. C. Elias about the acrimony of Swift's departure from the Temple household, evidence from Swift's Journal to Stella about how uninvolved in the Temple household Swift had been, and the number of repeated observations about himself by the Tale's author, it seems reasonable to propose that the digressions reflect a single type of man, if not a particular character.

Given an unobservable function that relates the independent variable to the dependent variable – say, a line – the deviations of the dependent variable observations from this function are the errors.

Given a good model, it is best to make as many observations as practicable, depending of the expected reliability of prior knowledge, cost of observations, time and resources available, and accuracy required.

Given a sample consisting of n independent observations x < sub > 1 </ sub >,..., x < sub > n </ sub > of a p-dimensional random vector X ∈ R < sup > p × 1 </ sup > ( a p × 1 column-vector ), an unbiased estimator of the ( p × p ) covariance matrix

Given a sample of n independent observations x < sub > 1 </ sub >,..., x < sub > n </ sub > of a p-dimensional zero-mean Gaussian random variable X with covariance R, the maximum likelihood estimator of R is given by

Given a random sample of T observations from this process, the ordinary least squares estimator is

Given a histogram of observations for each measurement, one has an approximation

Given the lack of atmospheric pollution in this area, it is particularly suitable for astronomical observations.

* Given an R-module M, the endomorphism ring of M, denoted End < sub > R </ sub >( M ) is an R-algebra by defining ( r · φ )( x ) = r · φ ( x ).

Given any element x of X, there is a function f < sup > x </ sup >, or f ( x ,·), from Y to Z, given by f < sup > x </ sup >( y ) := f ( x, y ).

Given x ∈ A, the holomorphic functional calculus allows to define ƒ ( x ) ∈ A for any function ƒ holomorphic in a neighborhood of Furthermore, the spectral mapping theorem holds:

Given a function f ∈ I < sub > x </ sub > ( a smooth function vanishing at x ) we can form the linear functional df < sub > x </ sub > as above.

Given a groupoid in the category-theoretic sense, let G be the disjoint union of all of the sets G ( x, y ) ( i. e. the sets of morphisms from x to y ).

Given f ∈ G ( x * x < sup >- 1 </ sup >, y * y < sup >-1 </ sup >) and g ∈ G ( y * y < sup >-1 </ sup >, z * z < sup >-1 </ sup >), their composite is defined as g * f ∈ G ( x * x < sup >-1 </ sup >, z * z < sup >-1 </ sup >).

Given a groupoid G, the vertex groups or isotropy groups or object groups in G are the subsets of the form G ( x, x ), where x is any object of G. It follows easily from the axioms above that these are indeed groups, as every pair of elements is composable and inverses are in the same vertex group.

Given the laws of exponents, f ( x )

Given a function f of a real variable x and an interval of the real line, the definite integral

After Christians in Ephesus first wrote to their counterparts recommending Apollos to them, he went to Achaia where Paul names him as an apostle ( 1 Cor 4: 6, 9-13 ) Given that Paul only saw himself as an apostle ' untimely born ' ( 1 Cor 15: 8 ) it is certain that Apollos became an apostle in the regular way ( as a witness to the risen Lord and commissioned by Jesus-1 Cor 15: 5-9 ; 1 Cor 9: 1 ).< ref > So the Alexandrian recension ; the text in < sup > 38 </ sup > and Codex Bezae indicate that Apollos went to Corinth.

Given points P < sub > 0 </ sub > and P < sub > 1 </ sub >, a linear Bézier curve is simply a straight line between those two points.

Given the first n digits of Ω and a k ≤ n, the algorithm enumerates the domain of F until enough elements of the domain have been found so that the probability they represent is within 2 < sup >-( k + 1 )</ sup > of Ω.

) Given a smooth Φ < sup > t </ sup >, an autonomous vector field can be derived from it.

Given two groups (< var > G </ var >, *) and (< var > H </ var >, ), a group isomorphism from (< var > G </ var >, *) to (< var > H </ var >, ) is a bijective group homomorphism from < var > G </ var > to < var > H </ var >.

Given a field K, the corresponding general linear groupoid GL < sub >*</ sub >( K ) consists of all invertible matrices whose entries range over K. Matrix multiplication interprets composition.

Given a complex-valued function ƒ of a single complex variable, the derivative of ƒ at a point z < sub > 0 </ sub > in its domain is defined by the limit

Given a polynomial of degree with zeros < math > z_n < z_