all, section 4.3.
4.3. Identifiers
Names may be used to refer entities of any types.
In particular,
we use them to identify sets:
Examples:
-
-
S = { 2, 4, 9 } ( = { 2, 2, 4, 9, 9 } )
-
vowels = { a, e, i, o, u }
-
P = { n | n is a natural number.
divisible by exactly two natural numbers }
= { 1, 2, 3, 5, 7, 11, 13, 17, 19, 23, ...}
Created by unroff & hp-tools.
© by Hans-Peter Bischof. All Rights Reserved (1997).
Last modified 22/May/97
