[permalink] [id link]
Suppose a partially ordered set P has the property that every chain ( i. e. totally ordered subset ) has an upper bound in P. Then the set P contains at least one maximal element.
from
Wikipedia
Some Related Sentences
Suppose and partially
Suppose a non-empty partially ordered set P has the property that every non-empty chain has an upper bound in P. Then the set P contains at least one maximal element.
Suppose and ordered
Suppose G is an ordered abelian group, meaning an abelian group with a total ordering "<" respecting the group's addition, so that a < b if and only if a + c < b + c for all c. Let I be a well-ordered subset of G, meaning I contains no infinite descending chain.
Suppose there are six cities, which we'll call A, B, C, D, E, and F. A good design for our chromosome might be the ordered list we want to try.
Suppose V is an infinite dimensional vector space over a field F. If the dimension is κ, then there is some basis of κ elements for V. After an order is chosen, the basis can be considered an ordered basis.
Suppose and set
Suppose that the set of indices such that is decidable ; then, there exists a function that returns if, and otherwise.
Suppose, for example, we are interested in the set of all adult crows now alive in the county of Cambridgeshire, and we want to know the mean weight of these birds.
Suppose, for example, we are interested in the set of all adult crows now alive in the county of nederlands best country, and we want to know the mean weight of these birds.
Suppose that, instead of an exact observation, x, the observation is the value in a short interval ( x < sub > j − 1 </ sub >, x < sub > j </ sub >), with length Δ < sub > j </ sub >, where the subscripts refer to a predefined set of intervals.
Suppose then that each player asks himself or herself: " Knowing the strategies of the other players, and treating the strategies of the other players as set in stone, can I benefit by changing my strategy?
* Suppose that is a sequence of Lipschitz continuous mappings between two metric spaces, and that all have Lipschitz constant bounded by some K. If ƒ < sub > n </ sub > converges to a mapping ƒ uniformly, then ƒ is also Lipschitz, with Lipschitz constant bounded by the same K. In particular, this implies that the set of real-valued functions on a compact metric space with a particular bound for the Lipschitz constant is a closed and convex subset of the Banach space of continuous functions.
Suppose P is a definable binary relation ( which may be a proper class ) such that for every set x there is a unique set y such that P ( x, y ) holds.
Suppose that you have a coin purse containing five quarters, five nickels and five dimes, and one-by-one, you randomly draw coins from the purse and set them on a table.
Suppose there are 1000 on / off switches which have to be set to a particular combination by random-based testing, each test to take one second.
Suppose that supporters of the 2004 Republican candidate, George W. Bush, had set up vote pairing web sites so that Buchanan supporters from swing states in the US ( such as Ohio, where the Democrats and Republicans were in a close race ) would get matched with Bush supporters in solidly Democrat states ( such as Massachusetts ).
* Suppose that is the infinite cyclic group and the set S consists of the standard generator 1 and its inverse (− 1 in the additive notation ) then the Cayley graph is an infinite chain.
Suppose and P
Suppose that whenever P ( β ) is true for all β < α, then P ( α ) is also true ( including the case that P ( 0 ) is true given the vacuously true statement that P ( α ) is true for all ).
Suppose that P does not lie on a sideline, BC, CA, AB, and let P < sup >-1 </ sup > denote the isogonal conjugate of P. The pedal triangle of P is homothetic to the antipedal triangle of P < sup >-1 </ sup >.
Given a circle k, with a center O, and a point P outside of the circle, we want to construct the ( red ) tangent ( s ) to k that pass through P. Suppose the ( as yet unknown ) tangent t touches the circle in the point T. From symmetry, it is clear that the radius OT is orthogonal to the tangent.
Suppose we are given an element e < sub > 0 </ sub > ∈ E < sub > P </ sub > at P = γ ( 0 ) ∈ M, rather than a section.
Suppose and has
Suppose, says Dr. Lyttleton, the proton has a slightly greater charge than the electron ( so slight it is presently immeasurable ).
Suppose a definition of a capacitor has an associated attribute called " Capacitance ", corresponding to the physical property of the same name, with a default value of " 100 pF " ( 100 picofarads ).
Suppose both ISPs have trans-Atlantic links connecting their two networks, but A < nowiki >' s </ nowiki > link has latency 100 ms and B's has latency 120 ms.
:" Moses said to God, ' Suppose I go to the Israelites and say to them, " The God of your fathers has sent me to you ," and they ask me, ‘ What is his name ?’ Then what shall I tell them ?” God said to Moses, “ I AM WHO I AM " — Exodus 3: 13-14 ( New International Version ) ( see Tetragrammaton ).
Suppose, for example, that A is a 3 × 3 rotation matrix which has been computed as the composition of numerous twists and turns.
Suppose that a taxi firm has three taxis ( the agents ) available, and three customers ( the tasks ) wishing to be picked up as soon as possible.
Suppose V is a subset of R < sup > n </ sup > ( in the case of n = 3, V represents a volume in 3D space ) which is compact and has a piecewise smooth boundary S. If F is a continuously differentiable vector field defined on a neighborhood of V, then we have
INTERVIEWER: Suppose someone called you and said there was a kid, nineteen or twenty years old, who has been a very good boy, but all of a sudden this week he started walking around the neighborhood carrying a large cross.
Suppose Eve has intercepted the cryptogram below, and it is known to be encrypted using a simple substitution cipher:
Suppose that one has a table listing the population of some country in 1970, 1980, 1990 and 2000, and that one wanted to estimate the population in 1994.
0.461 seconds.