set2 http://www.openmath.org/cd/set2.ocd 2003-04-01 1999-05-10 1 1 experimental relation1 set1 nums1 setname1 This CD defines more set functions; at present this only includes the size of a set. size This symbol is used to denote the number of elements in a set. It is either a non-negative integer, or an infinite cardinal number. The symbol infinity may be used for an unspecified infinite cardinal. The size of the set{3,6,9} = 3 3 6 9 3 The size of the set of integers is infinite