<div class="gmail_quote">On Thu, Feb 26, 2009 at 10:35 AM, Raimo Niskanen <span dir="ltr"><<a href="mailto:raimo%2Beeps@erix.ericsson.se">raimo+eeps@erix.ericsson.se</a>></span> wrote:<br><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<br>
Can you explain to a non-mathematician (me) why you have defined<br>
(E1 /\ E2) as min(E1, E2) and<br>
(E1 \/ E2) as max(E1, E2). To me it seems counterintuitive<br>
since /\ looks like a mountain hence max<br>
and \/ looks like a valley hence min.<br>
And I do not want to fully understand Lattice theory<br>
to understand which operator is which. I am a simple programmer.</blockquote><div><br></div><div>It's not ROK's invention it's common mathematical usage (derived from Boolean algebra, I think).</div><div><br>
</div><div>The symbol  \/ derives from the letter V, abbreviation of "vel" (= or in latin).</div><div><br></div><div>I'm not sure where /\ comes from (maybe an inverted V?)</div><div><br></div><div>Cheers</div>
<div>P.</div><div><br></div><div><br></div></div>