W:{1,2,3,4,5,6};

S:cartesian_product(W,W);

E1:subset(S,lambda([e],is(e[1]<2*e[2])));

W_E1=cardinality(E1)/cardinality(S);

E2:subset(S,lambda([e],is(e[1]>2*e[2])));

W_E2=cardinality(E2)/cardinality(S);

E3:subset(S,lambda([e],is(e[1]=2*e[2])));

W_E3=cardinality(E3)/cardinality(S);

E4:subset(S,lambda([e],is(e[1]#2*e[2])));

W_E4=cardinality(E4)/cardinality(S);

E5:subset(S,lambda([e],is(e[1]<=2*e[2])));

W_E5=cardinality(E5)/cardinality(S);

E6:subset(S,lambda([e],is(e[1]>=2*e[2])));

W_E6=cardinality(E6)/cardinality(S);