** If S is a set of sentences of first-order logic and B is a consistent subset of S, then B is included in a set that is maximal among consistent subsets of S. The special case where S is the set of all first-order sentences in a given signature is weaker, equivalent to the Boolean prime ideal theorem ; see the section " Weaker forms " below.

* If S and T are in M with S ⊆ T then T − S is in M and a ( T − S ) =

* If a set S is in M and S is congruent to T then T is also in M and a ( S )

* Let Q be a set enclosed between two step regions S and T. A step region is formed from a finite union of adjacent rectangles resting on a common base, i. e. S ⊆ Q ⊆ T. If there is a unique number c such that a ( S ) ≤ c ≤ a ( T ) for all such step regions S and T, then a ( Q )

* If M is some set and S denotes the set of all functions from M to M, then the operation of functional composition on S is associative:

* The Lusternik – Schnirelmann theorem: If the sphere S < sup > n </ sup > is covered by n + 1 open sets, then one of these sets contains a pair ( x, − x ) of antipodal points.

More formally a k-combination of a set S is a subset of k distinct elements of S. If the set has n elements the number of k-combinations is equal to the binomial coefficient

If f is also surjective and therefore bijective ( since f is already defined to be injective ), then S is called countably infinite.

If Af is the change per unit volume in Gibbs function caused by the shear field at constant P and T, and **yr is the density of the fluid, then the total potential energy of the system above the reference height is Af.

If we try to study T using characteristic values, we are confronted with two problems.

If ( remember this is an assumption ) the minimal polynomial for T decomposes Af where Af are distinct elements of F, then we shall show that the space V is the direct sum of the null spaces of Af.

If Af is the operator induced on Af by T, then evidently Af, because by definition Af is 0 on the subspace Af.

If Af are the projections associated with the primary decomposition of T, then each Af is a polynomial in T, and accordingly if a linear operator U commutes with T then U commutes with each of the Af, i.e., each subspace Af is invariant under U.

If T is a linear operator on an arbitrary vector space and if there is a monic polynomial P such that Af, then parts ( A ) and ( B ) of Theorem 12 are valid for T with the proof which we gave.

If T is the total `` length '' of the process, its feed state may be denoted by a vector p(T) and the product state by p(Q).

If T is a good symmetry of the dynamics, then

If it were not for an old professor who made me read the classics I would have been stymied on what to do, and now I understand why they are classics ; ;

If I even hint at it do you think it will matter that you are his nephew -- and not even a blood nephew ''??

If the circumstances are faced frankly it is not reasonable to expect this to be true.

If his dancers are sometimes made to look as if they might be creatures from Mars, this is consistent with his intention of placing them in the orbit of another world, a world in which they are freed of their pedestrian identities.

If love reflects the nature of man, as Ortega Y Gasset believes, if the person in love betrays decisively what he is by his behavior in love, then the writers of the beat generation are creating a new literary genre.

If to be innocent is to be helpless, then I had been -- as are we all -- helpless at the start.

Defoe then commented, `` If they Could Draw that young Gentleman into Their Measures They would show themselves quickly, for they are not asham'd to Say They want only a head to Make a beginning ''.

If Jews are identified as a religious body in a controversy that comes before a national or international tribunal, it is obviously compatible with the goal of human dignity to protect freedom of worship.

If they are right, they will prevail of and by themselves.

Without preliminaries, Esther asked him, `` If you are a world citizen, will you take Garry Davis' place in his tent while he goes to the hospital ''??

If we are to believe the list of titles printed in Malraux's latest book, La Metamorphose Des Dieux, Vol. 1 ( ( 1957 ), he is still engaged in writing a large novel under his original title.

If the would-be joiner asks these questions he is not likely to be duped by extremists who are seeking to capitalize on the confusions and the patriotic apprehensions of Americans in a troubled time.

If we break the minister to our bit, we are buying back our own sins.

If the record buyer's tastes are somewhat eclectic or even the slightest bit esoteric, he will find them satisfied on educational records.

If Daddy's books are out of bounds his own picture books are not.

If it will simply delay the debates until the qualifications are closed next spring, and then carry all the candidates on a tour of debates, it can provide a service to the state.

If they are to be commended for foresight in their planning, what then is the judgment of a town council that compounds this problem during the planning stage??

If the Communists are sincere in wanting a united, neutral and disarmed Germany, it might well be advantageous for the German people in this nuclear age.

If only this could be done more often -- with such heartening results -- many of the earth's `` big problems '' would shrink to the insignificances they really are.

If any are left, presently, we may expect to see signs specifically prohibiting the feeding of them too.

If the raw population figures are crucially relevant, then it is idle to think of liberation, as idle as to suppose that Poland might liberate Russia.

If it is not enough that all of our internationalist One Worlders are advocating that we join this market, I refer you to an article in the New York Times' magazine section ( Nov. 12, 1961 ), by Mr. Eric Johnston, entitled `` We Must Join The Common Market ''.

If the UN troops are not mercenaries then the Hessians were not mercenaries either.

* Every rectangle R is in M. If the rectangle has length h and breadth k then a ( R ) =

If M is a Turing Machine which, on input w, outputs string x, then the concatenated string < M > w is a description of x.

Let ( m, n ) be a pair of amicable numbers with m < n, and write m = gM and n = gN where g is the greatest common divisor of m and n. If M and N are both coprime to g and square free then the pair ( m, n ) is said to be regular, otherwise it is called irregular or exotic.

If ( m, n ) is regular and M and N have i and j prime factors respectively, then ( m, n ) is said to be of type ( i, j ).

If X is a set and M is a complete metric space, then the set B ( X, M ) of all bounded functions ƒ from X to M is a complete metric space.

If X is a topological space and M is a complete metric space, then the set C < sub > b </ sub >( X, M ) consisting of all continuous bounded functions ƒ from X to M is a closed subspace of B ( X, M ) and hence also complete.

If used, the word „ gothic “ was used to describe ( mostly early ) works of F. M. Dostoevsky.

If ψ is satisfiable in a structure M, then certainly so is φ and if ψ is refutable, then is provable, and then so is ¬ φ, thus φ is refutable.

If is satisfiable in a structure M, then, considering, we see that is satisfiable as well.

If the password is correct, then M releases the transferred sum to B ( 3b ), usually minus a small commission.

If M is an R module and is its ring of endomorphisms, then if and only if there is a unique idempotent e in E such that and.