there a% oye Ue eee eh ee oe (@_ azb an gale thaon bY) (b) a2b a equals b> SUREERE (Geb Ca der then 4) ie) Transitie Law: tf Hae vtemot Arbo. ceR if aQyb and b then Az. thon Wf _AaRb ov bRa the @oxd b on | E Comparable Eran fiz Gb] fate $ (bp, CbryC bs C1) (mr C23), a) 1 d2N C353 Relalion on A iA ; R= F022, 63D (32)? Qrdered Set 4 Sets satd to be pyle C et Pf an cuter t's dotined! on that Sob.East A Piel! js aset wily duo Ope rafent T tated Odlditi0) and) wadiiptrcalio yohiclh 4m Gog the jetting popetiv: a Axion’ 6} Adblfion Le Closwn. Property lL Fee an aber 3 osber Commulahia daw For ne aber atb=bia Assoeiotie law For_amg oubsc €F 3 (ith) +0 = Crt (otc) Adbiitive Tolustif Kerang QEF, 7 OCF Gok that Q+O=040=q Able Spence Axioms 0 Mulliphratio — |_ Closure __papperty ——|Fetany 6s f= €F oth that ala)» (-a | Fer__asf gibeF ; aber Chmmalalin Law ——E=———a7" For cond tube F_ 3 Ab = ba Asati Law ™ rr yltaubsC = (bc) wien}vSuals the Gla tang MultiphioaTin _Imeie 5 c ack, 440 4 fe6F sue trot “at bef Sams Dixtetbulie Laws —Fer_any Oub,¢ OF Ab+C) = abpaa (bic) a = Lareg, Quer Fiele A_feld Fs cat). ty be an Crtlrec! fielol H Lily te tay Posies Oo fow Tiehotong (ic) TramiBe Lav» @) if a2 bh pow ore bee babcef Ue arb pl oe (W) abro if x ge E20 andl 20 Examples Uy Rs orderecl_fielol ft Ls fell bet mt bravest file i) Nid net fhjorel. in P__(set_of peime qeumber’) _j4 ovderedl pick [2238 (field ov mot [if Preld thee ovedled ovat D\| a ) ’ (hy yf arb then pic bre [aa ua) if G>b ol yb thr eae see PE (if Orb ono 640 typ ace Bun (1) Let arb and _bye Oboe al be =)_(a-b)s (bcd 50. . of oe pele | =)_A-C2 o | oe | wy let _Osb | anb20 Qabt Bete d>o. _(adaitie: nvere Aes en are yp O+6+ Cb 0) Do C rommufaliin Lass => (or — (bie) So _(pistrlailie Lous) a O40 >bte di) let arb C20 2) G-b720. ¢Cr0 2 _(a-be Yo. ac-bevo — (ovspobulve faut} =) ac> be.Lacy) 2 -0-— \ exbe?0 “Peoen uw i if x>o Then = 2% 40 ounol | (i) if 122, theo +e M | wy tf no then bo | (ivy if weo, thee re io paviiadar 14 | W9f ene y then Oot 24 | | Pret | 1d Lappe se a>oe | shee Wa (~-w) > oF (-v) aS OS of¢-O kddchive Tdeuhthy >. O>- VM = =x 20. = Cones Suppese = {20 2D =A 44% 2 04 A additne identialsicls_id lenpersi ble. ——_| a Pte poe __Conactt clin. | wed wo ( mu ltipiicaire ‘Tdatity)) p11 4O _icopossible | \ 1a0) Gpsvan Or Contvaclietion renee ML i ae {iii} Suppae on fmt t__ae0_ batF E f |e beo iso Conable kee an —— i iyo. ie > wed 4OnW 7 ALO. He ap to ghd 15 impossible sin fo A vo i a _tontsecliclion —Cabecd. Le ify Ikea ; cee => ro. Cate if q20 ther I =X ve Se (at) (~4 (-*) 0 2) 42 eo Tus (C0 fens 27 © Ta pastente uf t=!v) Let (He _ knoe that if x20 Bete then Loo ana ify 0 then fe ——IL fo xy c => + o °v Guinn ome y ] = Bra Wy r 7 . andl. 32 a | ete => 02) ganda t Saxo mies |___— ¢ Fam @ A @ i OA yk — Teper Ps if bz thea euler W)_a70, br ev #) Quo, bar __ Prob 2 Giace ab? © 2) ab#O ; = 940 orl bzo if apo then ara andar——————— = et y Faro tren devo - }——Txsifre____b=_t bo (multypircstve 1 Jedeodthy | b=(1 ays (rout tpphicalis Inverse) | Tt bektiab) — Assecialiie¢ wo | 4 inée 4b? 0. IL . => bro — a —t ne _for. 2 we fas bro i Cage h 7 + if @e0 ths Jd po I lL tanjes ba tb amaltptintne flat) Ng) b Bo ee ee ve | the I —_—— | Th E Tf abso then ait | Li) 70, be0 | yy) OL0, b70, } |_ al Ginee APL O j ba 2 ab yo 4,be 1b anttipfretie [deahity b= (5-45 1 mmuttiplitaize lnese b= Lila) pAriaiie Cre 440, cub co Cote B If avo theo ae oO bel.} onulfypercateve _jdeatity be (hab cmultpticntie jnese be _>. E(ab) Asgeepatiie face Mile by» ZO, GhAD me ial yet