** Trichotomy: If two sets are given, then either they have the same cardinality, or one has a smaller cardinality than the other.

** 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 the set A is infinite, then there exists an injection from the natural numbers N to A ( see Dedekind infinite ).

** If a team is penalized in the final minute of a half and the penalty causes the clock to stop, the opposing team now has the right to have 10 seconds run off the clock in addition to the yardage penalty.

** Mind Transferral: If Xavier were to die, he could transfer his mind and powers to a host body.

** " If It Works, It's Not AI: A Commercial Look at Artificial Intelligence startups "

** If O takes center ( best move for him ), X should take the corner opposite the original, and proceed as detailed above.

** If O plays a corner or side-middle first, X is guaranteed to win:

** If the tie is between two clubs, then the tie is broken using the head-to-head goal difference ( without away goals rule )

** If the tie is between more than two clubs, then the tie is broken, using the games the clubs have played against each other:

** If the Competition Committee removes a penalty, the points are also removed

** If an error occurs at any state of the FSM process, the BGP session is terminated immediately and returned to the Idle state.

** If an error occurs, BGP moves to the Active state.

** If the router was unable to establish a successful TCP session, then it ends up in the Active state.

** If it is unsuccessful again, the FSM is reset to the Idle state.

** If there is an error it is because one of the fields in the Open message doesn ’ t match between the peers, e. g. BGP version mismatch, MD5 password mismatch, the peering router expects a different My AS.

** If there is no error, a Keepalive message is sent, various timers are set and the state is changed to OpenConfirm.

** If a Keepalive message is received and no timer has expired before reception of the Keepalive, BGP transitions to the Established state.

** If a timer expires before a Keepalive message is received, or if an error condition occurs, the router transitions back to the Idle state.

** If there is any error in the Update message then a Notification message is sent to the peer, and BGP transitions back to the Idle state.

** If a timer expires before a Keepalive message is received, or if an error condition occurs, the router transitions back to the Idle state.

** If A < sup > p </ sup > B and B < sup > p </ sup > C then A < sup > p </ sup > C.

** If A is preferred to B and C is infinitesimally close to B then A is preferred to C.

** April 20 – Cicero, in Rome, writes to Varro " If our voices are no longer heard in the Senate and in the Forum, let us follow the example of the ancient sages and serve our country through our writings, concentrating on questions of ethics and constitutional law.

** Occasional frost, often with summer rainfall maximum

** maximum employment

** Berthold Seliger launches near Cuxhaven a 3 stage rocket with a maximum flight altitude of more than 62 miles ( the only sounding rocket developed in Germany ).

** German left-wing terrorists Monika Berberich, Gabriella Rollnick, Juliane Plambeck and Inge Viett escape from the Lehrter Straße maximum security prison in West Berlin.

** Phobos-a tandem repeat search tool for perfect and imperfect repeats-the maximum pattern size depends only on computational power

** Displacement speed, a rule of thumb for non planing watercraft to estimate their theoretical maximum speed

** It is a multiplexer that connected multiple terminals into one communication line to the CPU, thus relieved the constraints on the maximum number of communication lines per CPU.

** Mechanical specification of electrical connectors and cables, for example maximum cable length

** platelet count < 80, 000 / mm < sup > 3 </ sup > or 50 % drop from maximum in chronically thrombocytopenic patients, OR

** Obtains the current date / time D to the maximum resolution possible.

** with maximum payload, at 84-85 % of maximum continuous power.

** The ability to use multiple motion vectors per macroblock ( one or two per partition ) with a maximum of 32 in the case of a B macroblock constructed of 16 4 × 4 partitions.

** Tensile strength, maximum stress while being stretched or pulled before necking

** Discriminative: maximum entropy models

** Average and median balances increased with age, reaching a maximum in the 65 – 69 age group, before leveling off for 70 and over.

** There are a maximum of four playing piles open at once

** Each player has at his / her disposal a maximum of four discard piles

** 12 year maximum term limits.

** As in experimental design, a good design for numerical experiments should give a maximum of effects with a minimum of computed points.

** Phobos-a tandem repeat search tool for perfect and imperfect repeats-the maximum pattern size depends only on computational power

** SX-850 nm, for a maximum of 550 m at 1. 25 Gbit / s ( Gigabit Ethernet ) or 150m at 4. 25 Gbit / s ( Fibre Channel )

** CWDM and DWDM transceivers at various wavelengths achieving various maximum distances

** X ( Horizontal ) Resolution: variable, maximum of 565 ( programmable to 282, 377 or 565 pixels, or as 5. 37mhz, 7. 159mhz, and 10. 76mhz pixel dot clock ) Taking into consideration overscan limitations of CRT televisions at the time, the horizontal resolutions were realistically limited to something a bit less than what the system was actually capable of.