II. Notes on Data Structuring * - Cornell University
II. Notes on Data Structuring * - Cornell University
II. Notes on Data Structuring * - Cornell University
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
12.5 POWERSETS<br />
NOTES ON DATA STRUCTURING 171<br />
The axioms given below for sets apply <strong>on</strong>ly to finite sets of hierarchically<br />
ordered type. It is therefore possible to avoid the paradoxes which endanger<br />
axiomatigati<strong>on</strong>s of more powerful versi<strong>on</strong>s of set theory.<br />
The general form of a powerset definiti<strong>on</strong> is:<br />
type T = powerset To,<br />
where To is the base type.<br />
let a, b, be values of type To.<br />
(1) T( )isaT<br />
(2) If x is a T and a is a To then<br />
x v T(a) isaT<br />
(3) The <strong>on</strong>ly members of T are as specified in (1) and (2).<br />
(4) --lain T( )<br />
(5) a in (y v T(a))<br />
(6) a ~ b = (a in (x v T(b)) ~ a in x)<br />
(7) T( )=x<br />
(8) (y v T(a)) = x=- (y = x&ainx)<br />
(9) x=y~-(x=y)&(y=x)<br />
(10) xv T()=x<br />
(1 l) x v (y v T(a)) = (x v T(a)) v y<br />
(12) x^r()=T()<br />
(13) x ^ T(a) = if a in x then T(a) else T( )<br />
(14) x ^ (y v T(a))= (x A y) V (x A T(a))<br />
(15) T( )-x= T( )<br />
(16) T(a) - x = if a in x then T( ) else T(a)<br />
(17) (x v T(a))- y = (x- y) v (T(a)- y)<br />
(18) size(T()) = 0<br />
(19) size (x v T(a)) = if a in x then size (x) else succ (size (x))<br />
The following apply if the domain type To is ordered:<br />
(20) min (T(a))= T(a)<br />
(21) x ~ T( ) = min (x v T(a)) = if a < min (x) then a else min (x)<br />
Note: min (T()) is not defined<br />
(22) xdown0=xup0=x<br />
: E