Re: operators for relations in sets
- To: mathgroup at smc.vnet.net
- Subject: [mg60354] Re: operators for relations in sets
- From: Paul Abbott <paul at physics.uwa.edu.au>
- Date: Wed, 14 Sep 2005 03:27:20 -0400 (EDT)
- Organization: The University of Western Australia
- References: <dg69nu$a8i$1@smc.vnet.net>
- Sender: owner-wri-mathgroup at wolfram.com
In article <dg69nu$a8i$1 at smc.vnet.net>, "hawkmoon269" <rson at new.rr.com>
wrote:
> I'm having some difficulty understanding the behaviour of the operators
> for relations in sets in Mathematica. For instance,
>
> TrueQ[{1}\[SubsetEqual]{1}]
>
> returns
>
> False
>
> I'm not getting what's going on here...
A look at the documentation shows that \[SubsetEqual] is interpreted as
an Infix set relation operator. Also, by default,
x \[SubsetEqual] y
is interpreted as SubsetEqual[x, y]. However, also from the
documentation, there is no built-in interpretation rule for SubsetEqual.
You can add your own. Once you do, expressions like
{1}\[SubsetEqual]{1}]
will be interpreted using this rule.
Cheers,
Paul
_______________________________________________________________________
Paul Abbott Phone: 61 8 6488 2734
School of Physics, M013 Fax: +61 8 6488 1014
The University of Western Australia (CRICOS Provider No 00126G)
AUSTRALIA http://physics.uwa.edu.au/~paul