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

** Trygve Lie of Norway is selected as the first United Nations Secretary General.

** Sarajevo is selected to host the 1984 Winter Olympics and Los Angeles is selected to host the 1984 Summer Olympics.

** Minidumps-includes only selected parts of the memory associated with a process.

** In 1995, this film was deemed " culturally, historically, or aesthetically significant " by the United States Library of Congress and selected for preservation in their National Film Registry.

** Switched current source DAC, from which different current sources are selected based on the digital input.

** At the reunion, Amber, as the Sole Survivor, was then asked to select one of the other All-Stars to receive a car, and she selected Shii Ann Huang.

** In Survivor: America's Tribal Council as part of the All-Stars season, Rupert Boneham was selected by a popularity poll of Survivor viewers to win $ 1, 000, 000.

** Un Certain Regard – Twenty films selected from cultures near and far ; original and different works.

** Amakigcik School ( Primary school, named after the Yup ' ik Elder who selected the village site )

** G. Evelyn Hutchinson in National Academy of Sciences, Biographical Memoirs 60 ( 1991 ): 103-14, which includes an autobiographical account by Hyman and a selected bibliography.

** OMG IDL, an IDL standardized by Object Management Group and implemented in the Common Object Request Broker Architecture and selected by the W3C for exposing the DOM of XML, HTML, CSS, and SVG documents

** Fragmenta Historiarum ( translation of selected fragments )

** Picture-adaptive frame-field coding ( PAFF or PicAFF ) allowing a freely selected mixture of pictures coded either as complete frames where both fields are combined together for encoding or as individual single fields.

** Frequency-customized quantization scaling matrices selected by the encoder for perceptual-based quantization optimization

** More selected Gravity's Rainbow quotes

** Additionally, the Malaysian state of Negeri Sembilan is itself an elective monarchy, where the Yang di-Pertuan Besar of Negeri Sembilan is selected by a council of ruling chiefs.

** The Sultan of Perak is selected form amongst the most senior male princes descending from the 18th Sultan of Perak, Sultan Ahmadin.

** Displaying selected levels ( e. g., show all 1st and 2nd level items, but none deeper ).

** reissued in 1997 on CD with selected tracks from It Disappears as Lyburnum on Vermiform Records

** Frequently used or selected options, such as given names that are popular in the sense that they occur at high frequency in a population.

** Typing in a text while some part of the text already entered is selected will replace the selected text.

** This particular missile is the last of 14 Titan IIs that were selected to be converted and used for science, weather and military satellites.