/ The Atari Compendium / The Atari Compendium (Toad Computers) (1994).iso / files / prgtools / langs / isetl.arc / explain.tex / node15_ct.html

< prev

next >

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 3c 21 44 4f 43 54 59 50 | 45 20 48 54 4d 4c 20 50 |<!DOCTYP|E HTML P|
|00000010| 55 42 4c 49 43 20 22 2d | 2f 2f 57 33 43 2f 2f 44 |UBLIC "-|//W3C//D|
|00000020| 54 44 20 48 54 4d 4c 20 | 33 2e 32 20 46 69 6e 61 |TD HTML |3.2 Fina|
|00000030| 6c 2f 2f 65 6e 22 3e 0a | 0a 3c 21 2d 2d 43 6f 6e |l//en">.|.<!--Con|
|00000040| 76 65 72 74 65 64 20 77 | 69 74 68 20 4c 61 54 65 |verted w|ith LaTe|
|00000050| 58 32 48 54 4d 4c 20 32 | 30 32 32 20 28 52 65 6c |X2HTML 2|022 (Rel|
|00000060| 65 61 73 65 64 20 4a 61 | 6e 75 61 72 79 20 31 2c |eased Ja|nuary 1,|
|00000070| 20 32 30 32 32 29 20 2d | 2d 3e 0a 3c 48 54 4d 4c | 2022) -|->.<HTML|
|00000080| 20 6c 61 6e 67 3d 22 65 | 6e 22 3e 0a 3c 48 45 41 | lang="e|n">.<HEA|
|00000090| 44 3e 0a 3c 54 49 54 4c | 45 3e 43 6f 6e 74 65 6e |D>.<TITL|E>Conten|
|000000a0| 74 73 20 6f 66 20 53 65 | 74 73 2e 3c 2f 54 49 54 |ts of Se|ts.</TIT|
|000000b0| 4c 45 3e 0a 0a 3c 4d 45 | 54 41 20 48 54 54 50 2d |LE>..<ME|TA HTTP-|
|000000c0| 45 51 55 49 56 3d 22 43 | 6f 6e 74 65 6e 74 2d 54 |EQUIV="C|ontent-T|
|000000d0| 79 70 65 22 20 43 4f 4e | 54 45 4e 54 3d 22 74 65 |ype" CON|TENT="te|
|000000e0| 78 74 2f 68 74 6d 6c 3b | 20 63 68 61 72 73 65 74 |xt/html;| charset|
|000000f0| 3d 75 74 66 2d 38 22 3e | 0a 3c 4d 45 54 41 20 4e |=utf-8">|.<META N|
|00000100| 41 4d 45 3d 22 76 69 65 | 77 70 6f 72 74 22 20 43 |AME="vie|wport" C|
|00000110| 4f 4e 54 45 4e 54 3d 22 | 77 69 64 74 68 3d 64 65 |ONTENT="|width=de|
|00000120| 76 69 63 65 2d 77 69 64 | 74 68 2c 20 69 6e 69 74 |vice-wid|th, init|
|00000130| 69 61 6c 2d 73 63 61 6c | 65 3d 31 2e 30 22 3e 0a |ial-scal|e=1.0">.|
|00000140| 3c 4d 45 54 41 20 4e 41 | 4d 45 3d 22 47 65 6e 65 |<META NA|ME="Gene|
|00000150| 72 61 74 6f 72 22 20 43 | 4f 4e 54 45 4e 54 3d 22 |rator" C|ONTENT="|
|00000160| 4c 61 54 65 58 32 48 54 | 4d 4c 20 76 32 30 32 32 |LaTeX2HT|ML v2022|
|00000170| 22 3e 0a 0a 3c 4c 49 4e | 4b 20 52 45 4c 3d 22 53 |">..<LIN|K REL="S|
|00000180| 54 59 4c 45 53 48 45 45 | 54 22 20 48 52 45 46 3d |TYLESHEE|T" HREF=|
|00000190| 22 65 78 70 6c 61 69 6e | 2e 63 73 73 22 3e 0a 0a |"explain|.css">..|
|000001a0| 3c 4c 49 4e 4b 20 52 45 | 4c 3d 22 6e 65 78 74 22 |<LINK RE|L="next"|
|000001b0| 20 48 52 45 46 3d 22 6e | 6f 64 65 31 36 5f 6d 6e | HREF="n|ode16_mn|
|000001c0| 2e 68 74 6d 6c 22 3e 0a | 3c 4c 49 4e 4b 20 52 45 |.html">.|<LINK RE|
|000001d0| 4c 3d 22 70 72 65 76 69 | 6f 75 73 22 20 48 52 45 |L="previ|ous" HRE|
|000001e0| 46 3d 22 6e 6f 64 65 31 | 34 5f 6d 6e 2e 68 74 6d |F="node1|4_mn.htm|
|000001f0| 6c 22 3e 0a 3c 4c 49 4e | 4b 20 52 45 4c 3d 22 75 |l">.<LIN|K REL="u|
|00000200| 70 22 20 48 52 45 46 3d | 22 6e 6f 64 65 31 34 5f |p" HREF=|"node14_|
|00000210| 6d 6e 2e 68 74 6d 6c 22 | 3e 0a 3c 4c 49 4e 4b 20 |mn.html"|>.<LINK |
|00000220| 52 45 4c 3d 22 6e 65 78 | 74 22 20 48 52 45 46 3d |REL="nex|t" HREF=|
|00000230| 22 6e 6f 64 65 31 36 5f | 6d 6e 2e 68 74 6d 6c 22 |"node16_|mn.html"|
|00000240| 3e 0a 3c 2f 48 45 41 44 | 3e 0a 20 0a 3c 42 4f 44 |>.</HEAD|>. .<BOD|
|00000250| 59 20 62 67 63 6f 6c 6f | 72 3d 22 23 66 66 66 66 |Y bgcolo|r="#ffff|
|00000260| 66 66 22 20 74 65 78 74 | 3d 22 23 30 30 30 30 30 |ff" text|="#00000|
|00000270| 30 22 20 6c 69 6e 6b 3d | 22 23 39 39 34 34 45 45 |0" link=|"#9944EE|
|00000280| 22 20 76 6c 69 6e 6b 3d | 22 23 30 30 30 30 66 66 |" vlink=|"#0000ff|
|00000290| 22 20 61 6c 69 6e 6b 3d | 22 23 30 30 66 66 30 30 |" alink=|"#00ff00|
|000002a0| 22 3e 0a 0a 3c 48 32 3e | 3c 41 20 49 44 3d 22 53 |">..<H2>|<A ID="S|
|000002b0| 45 43 54 49 4f 4e 30 30 | 30 35 31 30 30 30 30 30 |ECTION00|05100000|
|000002c0| 30 30 30 30 30 30 30 30 | 30 30 22 3e 0a 53 65 74 |00000000|00">.Set|
|000002d0| 73 2e 3c 2f 41 3e 0a 3c | 2f 48 32 3e 0a 20 20 20 |s.</A>.<|/H2>.   |
|000002e0| 20 0a 3c 4f 4c 3e 0a 3c | 4c 49 3e 4f 6e 6c 79 20 | .<OL>.<|LI>Only |
|000002f0| 66 69 6e 69 74 65 20 3c | 54 54 3e 73 65 74 73 3c |finite <|TT>sets<|
|00000300| 2f 54 54 3e 20 6d 61 79 | 20 62 65 20 72 65 70 72 |/TT> may| be repr|
|00000310| 65 73 65 6e 74 65 64 20 | 69 6e 20 49 53 45 54 4c |esented |in ISETL|
|00000320| 2e 0a 20 20 20 20 54 68 | 65 20 65 6c 65 6d 65 6e |..    Th|e elemen|
|00000330| 74 73 20 6d 61 79 20 62 | 65 20 6f 66 20 61 6e 79 |ts may b|e of any|
|00000340| 20 74 79 70 65 2c 20 6d | 69 78 65 64 20 68 65 74 | type, m|ixed het|
|00000350| 65 72 6f 67 65 6e 65 6f | 75 73 6c 79 2e 0a 20 20 |erogeneo|usly..  |
|00000360| 20 20 45 6c 65 6d 65 6e | 74 73 20 6f 63 63 75 72 |  Elemen|ts occur|
|00000370| 20 61 74 20 6d 6f 73 74 | 20 6f 6e 63 65 20 70 65 | at most| once pe|
|00000380| 72 20 3c 54 54 3e 73 65 | 74 3c 2f 54 54 3e 2e 0a |r <TT>se|t</TT>..|
|00000390| 0a 3c 50 3e 0a 3c 2f 4c | 49 3e 0a 3c 4c 49 3e 54 |.<P>.</L|I>.<LI>T|
|000003a0| 68 65 20 6f 72 64 65 72 | 20 6f 66 20 65 6c 65 6d |he order| of elem|
|000003b0| 65 6e 74 73 20 69 73 20 | 6e 6f 74 20 73 69 67 6e |ents is |not sign|
|000003c0| 69 66 69 63 61 6e 74 0a | 20 20 20 20 69 6e 20 61 |ificant.|    in a|
|000003d0| 20 3c 54 54 3e 73 65 74 | 3c 2f 54 54 3e 20 61 6e | <TT>set|</TT> an|
|000003e0| 64 20 70 72 69 6e 74 69 | 6e 67 20 74 68 65 20 76 |d printi|ng the v|
|000003f0| 61 6c 75 65 0a 20 20 20 | 20 6f 66 20 61 20 3c 54 |alue.   | of a <T|
|00000400| 54 3e 73 65 74 3c 2f 54 | 54 3e 20 74 77 69 63 65 |T>set</T|T> twice|
|00000410| 20 69 6e 20 73 75 63 63 | 65 73 73 69 6f 6e 20 63 | in succ|ession c|
|00000420| 6f 75 6c 64 20 64 69 73 | 70 6c 61 79 20 74 68 65 |ould dis|play the|
|00000430| 20 65 6c 65 6d 65 6e 74 | 73 20 69 6e 0a 20 20 20 | element|s in.   |
|00000440| 20 64 69 66 66 65 72 65 | 6e 74 20 6f 72 64 65 72 | differe|nt order|
|00000450| 73 2e 0a 0a 3c 50 3e 0a | 3c 2f 4c 49 3e 0a 3c 4c |s...<P>.|</LI>.<L|
|00000460| 49 3e 3c 50 3e 3c 21 2d | 2d 20 4d 41 54 48 0a 20 |I><P><!-|- MATH. |
|00000470| 5c 62 65 67 69 6e 7b 64 | 69 73 70 6c 61 79 6d 61 |\begin{d|isplayma|
|00000480| 74 68 7d 0a 4f 4d 0a 5c | 65 6e 64 7b 64 69 73 70 |th}.OM.\|end{disp|
|00000490| 6c 61 79 6d 61 74 68 7d | 0a 20 2d 2d 3e 0a 3c 2f |laymath}|. -->.</|
|000004a0| 50 3e 0a 3c 44 49 56 20 | 41 4c 49 47 4e 3d 22 43 |P>.<DIV |ALIGN="C|
|000004b0| 45 4e 54 45 52 22 3e 0a | 3c 49 3e 4f 4d 3c 2f 49 |ENTER">.|<I>OM</I|
|000004c0| 3e 0a 3c 2f 44 49 56 3e | 3c 50 3e 3c 2f 50 3e 0a |>.</DIV>|<P></P>.|
|000004d0| 6d 61 79 20 6e 6f 74 20 | 62 65 20 61 6e 20 65 6c |may not |be an el|
|000004e0| 65 6d 65 6e 74 20 6f 66 | 20 61 20 3c 54 54 3e 73 |ement of| a <TT>s|
|000004f0| 65 74 3c 2f 54 54 3e 2e | 0a 20 20 20 20 41 6e 79 |et</TT>.|.    Any|
|00000500| 20 73 65 74 20 74 68 61 | 74 20 77 6f 75 6c 64 20 | set tha|t would |
|00000510| 63 6f 6e 74 61 69 6e 20 | 3c 50 3e 3c 21 2d 2d 20 |contain |<P><!-- |
|00000520| 4d 41 54 48 0a 20 5c 62 | 65 67 69 6e 7b 64 69 73 |MATH. \b|egin{dis|
|00000530| 70 6c 61 79 6d 61 74 68 | 7d 0a 4f 4d 0a 5c 65 6e |playmath|}.OM.\en|
|00000540| 64 7b 64 69 73 70 6c 61 | 79 6d 61 74 68 7d 0a 20 |d{displa|ymath}. |
|00000550| 2d 2d 3e 0a 3c 2f 50 3e | 0a 3c 44 49 56 20 41 4c |-->.</P>|.<DIV AL|
|00000560| 49 47 4e 3d 22 43 45 4e | 54 45 52 22 3e 0a 3c 49 |IGN="CEN|TER">.<I|
|00000570| 3e 4f 4d 3c 2f 49 3e 0a | 3c 2f 44 49 56 3e 3c 50 |>OM</I>.|</DIV><P|
|00000580| 3e 3c 2f 50 3e 0a 69 73 | 20 63 6f 6e 73 69 64 65 |></P>.is| conside|
|00000590| 72 65 64 20 74 6f 20 62 | 65 20 75 6e 64 65 66 69 |red to b|e undefi|
|000005a0| 6e 65 64 2e 0a 0a 3c 50 | 3e 0a 3c 2f 4c 49 3e 0a |ned...<P|>.</LI>.|
|000005b0| 3c 4c 49 3e 41 6e 20 65 | 78 70 72 65 73 73 69 6f |<LI>An e|xpressio|
|000005c0| 6e 2c 20 6f 72 20 73 65 | 76 65 72 61 6c 20 65 78 |n, or se|veral ex|
|000005d0| 70 72 65 73 73 69 6f 6e | 73 20 73 65 70 61 72 61 |pression|s separa|
|000005e0| 74 65 64 0a 20 20 20 20 | 62 79 20 63 6f 6d 6d 61 |ted.    |by comma|
|000005f0| 73 2c 20 61 6e 64 2c 20 | 69 6e 20 65 69 74 68 65 |s, and, |in eithe|
|00000600| 72 20 63 61 73 65 2c 20 | 65 6e 63 6c 6f 73 65 64 |r case, |enclosed|
|00000610| 20 69 6e 20 3c 50 3e 3c | 21 2d 2d 20 4d 41 54 48 | in <P><|!-- MATH|
|00000620| 0a 20 5c 62 65 67 69 6e | 7b 64 69 73 70 6c 61 79 |. \begin|{display|
|00000630| 6d 61 74 68 7d 0a 5c 7b | 20 5c 7d 0a 5c 65 6e 64 |math}.\{| \}.\end|
|00000640| 7b 64 69 73 70 6c 61 79 | 6d 61 74 68 7d 0a 20 2d |{display|math}. -|
|00000650| 2d 3e 0a 3c 2f 50 3e 0a | 3c 44 49 56 20 41 4c 49 |->.</P>.|<DIV ALI|
|00000660| 47 4e 3d 22 43 45 4e 54 | 45 52 22 3e 0a 7b 7d 0a |GN="CENT|ER">.{}.|
|00000670| 3c 2f 44 49 56 3e 3c 50 | 3e 3c 2f 50 3e 0a 65 76 |</DIV><P|></P>.ev|
|00000680| 61 6c 75 61 74 65 73 20 | 74 6f 0a 20 20 20 20 74 |aluates |to.    t|
|00000690| 68 65 20 3c 54 54 3e 73 | 65 74 3c 2f 54 54 3e 20 |he <TT>s|et</TT> |
|000006a0| 77 68 6f 73 65 20 65 6c | 65 6d 65 6e 74 73 20 61 |whose el|ements a|
|000006b0| 72 65 20 74 68 65 20 76 | 61 6c 75 65 73 20 6f 66 |re the v|alues of|
|000006c0| 20 74 68 65 0a 20 20 20 | 20 65 6e 63 6c 6f 73 65 | the.   | enclose|
|000006d0| 64 20 65 78 70 72 65 73 | 73 69 6f 6e 73 2e 0a 0a |d expres|sions...|
|000006e0| 3c 50 3e 0a 3c 2f 4c 49 | 3e 0a 3c 4c 49 3e 54 68 |<P>.</LI|>.<LI>Th|
|000006f0| 65 20 65 6d 70 74 79 20 | 3c 54 54 3e 73 65 74 3c |e empty |<TT>set<|
|00000700| 2f 54 54 3e 20 69 73 20 | 64 65 6e 6f 74 65 64 20 |/TT> is |denoted |
|00000710| 62 79 20 3c 50 3e 3c 21 | 2d 2d 20 4d 41 54 48 0a |by <P><!|-- MATH.|
|00000720| 20 5c 62 65 67 69 6e 7b | 64 69 73 70 6c 61 79 6d | \begin{|displaym|
|00000730| 61 74 68 7d 0a 5c 7b 20 | 5c 7d 0a 5c 65 6e 64 7b |ath}.\{ |\}.\end{|
|00000740| 64 69 73 70 6c 61 79 6d | 61 74 68 7d 0a 20 2d 2d |displaym|ath}. --|
|00000750| 3e 0a 3c 2f 50 3e 0a 3c | 44 49 56 20 41 4c 49 47 |>.</P>.<|DIV ALIG|
|00000760| 4e 3d 22 43 45 4e 54 45 | 52 22 3e 0a 7b 7d 0a 3c |N="CENTE|R">.{}.<|
|00000770| 2f 44 49 56 3e 3c 50 3e | 3c 2f 50 3e 20 2e 0a 0a |/DIV><P>|</P> ...|
|00000780| 3c 50 3e 0a 3c 2f 4c 49 | 3e 0a 3c 4c 49 3e 54 68 |<P>.</LI|>.<LI>Th|
|00000790| 65 72 65 20 61 72 65 20 | 73 79 6e 74 61 63 74 69 |ere are |syntacti|
|000007a0| 63 20 66 6f 72 6d 73 2c | 20 65 78 70 6c 61 69 6e |c forms,| explain|
|000007b0| 65 64 20 69 6e 20 74 68 | 65 20 67 72 61 6d 6d 61 |ed in th|e gramma|
|000007c0| 72 2c 20 66 6f 72 20 61 | 20 66 69 6e 69 74 65 20 |r, for a| finite |
|000007d0| 3c 54 54 3e 73 65 74 3c | 2f 54 54 3e 0a 20 20 20 |<TT>set<|/TT>.   |
|000007e0| 20 74 68 61 74 20 69 73 | 20 61 6e 20 61 72 69 74 | that is| an arit|
|000007f0| 68 6d 65 74 69 63 20 70 | 72 6f 67 72 65 73 73 69 |hmetic p|rogressi|
|00000800| 6f 6e 20 6f 66 20 3c 54 | 54 3e 69 6e 74 65 67 65 |on of <T|T>intege|
|00000810| 72 3c 2f 54 54 3e 73 2c | 0a 20 20 20 20 61 6e 64 |r</TT>s,|.    and|
|00000820| 20 61 6c 73 6f 20 66 6f | 72 20 61 20 66 69 6e 69 | also fo|r a fini|
|00000830| 74 65 20 3c 54 54 3e 73 | 65 74 3c 2f 54 54 3e 0a |te <TT>s|et</TT>.|
|00000840| 20 20 20 20 6f 62 74 61 | 69 6e 65 64 20 66 72 6f |    obta|ined fro|
|00000850| 6d 20 61 20 3c 54 54 3e | 73 65 74 3c 2f 54 54 3e |m a <TT>|set</TT>|
|00000860| 20 66 6f 72 6d 65 72 20 | 69 6e 20 73 74 61 6e 64 | former |in stand|
|00000870| 61 72 64 20 6d 61 74 68 | 65 6d 61 74 69 63 61 6c |ard math|ematical|
|00000880| 20 6e 6f 74 61 74 69 6f | 6e 2e 0a 0a 3c 50 3e 0a | notatio|n...<P>.|
|00000890| 46 6f 72 20 65 78 61 6d | 70 6c 65 2c 20 74 68 65 |For exam|ple, the|
|000008a0| 20 76 61 6c 75 65 20 6f | 66 20 74 68 65 20 66 6f | value o|f the fo|
|000008b0| 6c 6c 6f 77 69 6e 67 20 | 65 78 70 72 65 73 73 69 |llowing |expressi|
|000008c0| 6f 6e 0a 0a 3c 50 3e 0a | 3c 44 49 56 20 63 6c 61 |on..<P>.|<DIV cla|
|000008d0| 73 73 3d 22 43 45 4e 54 | 45 52 22 3e 0a 3c 2f 44 |ss="CENT|ER">.</D|
|000008e0| 49 56 3e 3c 54 41 42 4c | 45 20 3e 0a 3c 54 52 3e |IV><TABL|E >.<TR>|
|000008f0| 3c 54 44 3e 3c 50 52 45 | 3e 3c 54 54 3e 0a 20 20 |<TD><PRE|><TT>.  |
|00000900| 20 20 7b 20 78 20 2b 20 | 79 20 3a 20 78 20 69 6e |  { x + |y : x in|
|00000910| 20 7b 2d 31 2c 2d 33 2e | 2e 2d 31 30 30 7d 2c 20 | {-1,-3.|.-100}, |
|00000920| 79 20 69 6e 20 7b 2d 31 | 2c 2d 33 2e 2e 2d 31 30 |y in {-1|,-3..-10|
|00000930| 30 7d 20 7c 20 78 20 2f | 3d 20 79 7d 3b 20 20 20 |0} | x /|= y};   |
|00000940| 20 0a 3c 2f 54 54 3e 3c | 2f 50 52 45 3e 3c 2f 54 | .</TT><|/PRE></T|
|00000950| 44 3e 3c 2f 54 52 3e 0a | 3c 2f 54 41 42 4c 45 3e |D></TR>.|</TABLE>|
|00000960| 0a 3c 44 49 56 20 63 6c | 61 73 73 3d 22 43 45 4e |.<DIV cl|ass="CEN|
|00000970| 54 45 52 22 3e 0a 3c 2f | 44 49 56 3e 0a 0a 3c 50 |TER">.</|DIV>..<P|
|00000980| 3e 0a 69 73 20 74 68 65 | 20 3c 54 54 3e 73 65 74 |>.is the| <TT>set|
|00000990| 3c 2f 54 54 3e 20 6f 66 | 20 61 6c 6c 20 73 75 6d |</TT> of| all sum|
|000009a0| 73 20 6f 66 20 74 77 6f | 20 64 69 66 66 65 72 65 |s of two| differe|
|000009b0| 6e 74 20 6f 64 64 20 6e | 65 67 61 74 69 76 65 20 |nt odd n|egative |
|000009c0| 3c 54 54 3e 69 6e 74 65 | 67 65 72 73 3c 2f 54 54 |<TT>inte|gers</TT|
|000009d0| 3e 0a 20 20 20 20 6c 61 | 72 67 65 72 20 74 68 61 |>.    la|rger tha|
|000009e0| 6e 20 2d 31 30 30 2e 0a | 20 20 20 20 0a 3c 2f 4c |n -100..|    .</L|
|000009f0| 49 3e 0a 3c 2f 4f 4c 3e | 0a 0a 3c 50 3e 0a 0a 3c |I>.</OL>|..<P>..<|
|00000a00| 48 52 3e 0a 0a 3c 2f 42 | 4f 44 59 3e 0a 3c 2f 48 |HR>..</B|ODY>.</H|
|00000a10| 54 4d 4c 3e 0a          |                         |TML>.   |        |
+--------+-------------------------+-------------------------+--------+--------+