Services & ResourcesWolfram ForumsMathGroup Archive

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

Re: operators for relations in sets

• To: mathgroup at smc.vnet.net
• Subject: [mg60407] Re: operators for relations in sets
• From: Paul Abbott <paul at physics.uwa.edu.au>
• Date: Thu, 15 Sep 2005 05:16:28 -0400 (EDT)
• Organization: The University of Western Australia
• References: <200509131007.GAA09833@smc.vnet.net> <dg8kar$qiq$1@smc.vnet.net>
• Sender: owner-wri-mathgroup at wolfram.com

In article <dg8kar$qiq$1 at smc.vnet.net>,
 Andrzej Kozlowski <akoz at mimuw.edu.pl> wrote:

> First of all, \[SubsetEqual] is not defined in Mathematica. You can  
> define your own function SubsetEqual as:
> 
> SubsetEqual[A_List, B_List] := Intersection[A, B] == A
> 
> so that
> 
> SubsetEqual[{1},{1,2}]
> 
> True
> 
> etc. If you really want with the help of the Notation package you can  
> make the infix form A\[SubsetEqual]B equivalent to Subsetequal[A,B]  
> (although i would not bother).

Actually, there is no need to use the Notation package. The infix form 
{A}\[SubsetEqual]{B} _is_ interpreted automatically as SubsetEqual[A,B].

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

• Follow-Ups:
  • Re: Re: operators for relations in sets
    • From: Andrzej Kozlowski <andrzej@yhc.att.ne.jp>

• References:
  • operators for relations in sets
    • From: "hawkmoon269" <rson@new.rr.com>