omegalib/examples/old_test/subsets1


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

R := {[x]:x > 1 };
R;
R2 := subsetof R;
R2;

R - R2;
R subset R2;
R2 - R;
R2 subset R;

S := {[x]: x > 0};
S - R; 
R subset S;
S - R2;
R2 subset S;

S2 := {[x]: x > -1};
S3 := subsetof S2;
S3 - S;
S subset S3;