<html>
<head>
<style>
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
FONT-SIZE: 10pt;
FONT-FAMILY:Tahoma
}
</style>
</head>
<body class='hmmessage'>oops -- I mean they are all false.<BR><BR><BR>
<BLOCKQUOTE>
<HR id=EC_stopSpelling>
From: jayk123@hotmail.com<BR>To: m3devel@elegosoft.com<BR>Date: Mon, 7 Apr 2008 00:38:01 +0000<BR>Subject: [M3devel] set relationships?<BR><BR>
<META content="Microsoft SafeHTML" name=Generator>
<STYLE>
.ExternalClass .EC_hmmessage P
{padding:0px;}
.ExternalClass body.EC_hmmessage
{font-size:10pt;font-family:Tahoma;}
</STYLE>
I'm looking at test p1\p155.<BR>I haven't started debugging it, just trying to understand it.<BR> <BR>C:\dev2\cm3\doc\reference\relations.html:<BR>"<BR><A target=_blank name=idx.194> infix <=, >= ...</A> <BR>(x,y: Set) : BOOLEAN<BR><BR> <BR>... <TT><=</TT> returns <TT>TRUE</TT> if every element of <TT>x</TT> is an element of <TT>y</TT>.<BR>...<BR>The expression <TT>x >= y</TT> is equivalent to <TT>y <= x</TT>. <BR>...<BR>In all cases, <TT>x < y</TT> means <TT>(x <= y) AND (x # y)</TT>, and <TT>x > y</TT> means <TT>y < x</TT><BR><TT></TT>"<BR> <BR>Let's just use the sets {1} and {2}.<BR> <BR> {1} <= {2} <BR> {2} <= {1} <BR> {1} < {2} <BR> {2} < {1} <BR> {1} >= {2} <BR> {2} >= {1} <BR> {1} > {2} <BR> {2} > {1} <BR> <BR>All these expressions are true from the definitions above.<BR>Is that reasonable?<BR>It seems a little strange to me.<BR> <BR>I guess I am very used to strongly ordered things, such that a <= b && a => b implies a == b, not true here, and you can't have both a < b and b < a, which you have here, and that (a < b) == !(a >= b) and similar, which is not true here. In this case, every relation but equality is true.<BR> <BR> - Jay<BR><BR></BLOCKQUOTE></body>
</html>