Mathematica 9 is now available
Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
2005
*January
*February
*March
*April
*May
*June
*July
*August
*September
*October
*November
*December
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 2005

[Date Index] [Thread Index] [Author Index]

Search the Archive

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


  • Prev by Date: Re: operators for relations in sets
  • Next by Date: Re: Proposal to get Stephen to Improve the lot ofSpace Shuttle Programmers
  • Previous by thread: Re: operators for relations in sets
  • Next by thread: Proposal to get Stephen to Improve the lot of Space Shuttle Programmers