** 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.

** If the maximum DNL error is less than 1 LSB, then the converter is guaranteed to be monotonic.

** the classical Lie groups, namely the simple groups related to the projective special linear, unitary, symplectic, or orthogonal transformations over a finite field ;

** Carbon dioxide in water is a less simple example, because the solution is accompanied by a chemical reaction ( formation of ions ).

** In the UK a bare or simple trust is one where the beneficiary has an immediate and absolute right to both the capital and income held in the trust.

** Finitely presented simple groups.

** A more automatic and general vectorized interrupt system, mode 2, as well as a fixed vector interrupt system, mode 1, for simple systems with minimal hardware ( mode 0 being the 8080-compatible mode ).

** Maurice Fernez introduces a simple lightweight underwater breathing apparatus as an alternative to helmet diving suits.

** Dalia, a simple porridge made out of cracked wheat, is a common breakfast in northern India and Pakistan.

** It preserves the strong simple past, which has been substituted by an analytic past ( periphrastic past ) with + infinitive in the rest of modern Catalan and Valencian variants.

** SMPTE 390M: OP-Atom ( a very simple and highly constrained layout for simple MXF files )

** SMPTE 378M: OP-1a ( the layout options for a minimal simple MXF file )

** Function composition ( computer science ), an act or mechanism to combine simple functions to build more complicated ones

** A common simple and highly structured variable length coding ( VLC ) technique for many of the syntax elements not coded by CABAC or CAVLC, referred to as Exponential-Golomb coding ( or Exp-Golomb ).

** back-ldap: simple proxy to other LDAP servers

** dyngroup: simple dynamic group support

** Fabric, simple covering without support

** A one-shot is a very simple scanner that only scans the core until it finds the first target, and then permanently switches to an attack strategy, usually a core clear.

** To the simple man ( Do prostego człowieka, 1929 )

** Step: " a simple statement of the interaction between the actor and a system "

** Frequency modulation synthesis, a form of audio synthesis where the timbre of a simple waveform is changed by frequency modulating it with a modulating frequency that is also in the audio range

** Pig Latin, simple verbal code language based on English

** The murder was committed during the commission of, attempt of, or escape from a specified felony ( aggravated kidnapping, second degree kidnapping, aggravated escape, aggravated arson, aggravated rape, forcible rape, aggravated burglary, armed robbery, assault by drive-by shooting, first degree robbery, second degree robbery, simple robbery, terrorism, cruelty to juveniles, or second degree cruelty to juveniles ).

** For family fun, Centre Court offers a variety of retail shops know for its simple charm and ambience.

** The mechanics of the crossruff are simple but the effect can be dramatic as this extreme example, from a bridge hand, demonstrates:

** The basic defense against crossruff is simple: lead trumps whenever possible, removing trumps from both opponent's hands.