<html>
<head>
<style>
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
FONT-SIZE: 10pt;
FONT-FAMILY:Tahoma
}
</style>
</head>
<body class='hmmessage'>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 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></body>
</html>