What is the meaning of the expression E^F, where both E and F are sets?
- From: "porky_pig_jr@xxxxxxxxxxx" <porky_pig_jr@xxxxxxxxxxx>
- Date: Tue, 16 Oct 2007 10:19:42 -0700
In both Halmos' Naive Set Theory and Suppes' Axiomatic Set Theory, the
expression E^F is introduced without any comments. The same text by
Suppes (if you skip a few chapters) refers to E^F as a set of all
functions f: E -> F. So here is my question: for any two arbitrary
sets E and F does the expression E^F mean the set of all function f: E
-> F or is there some other meaning? Thanks, and sorry for possibly
elementary question, but I just can't find the clear-cut definition
anywhere.
.
- Follow-Ups:
- Re: What is the meaning of the expression E^F, where both E and F are sets?
- From: Rock Brentwood
- Re: What is the meaning of the expression E^F, where both E and F are sets?
- From: MoeBlee
- Re: What is the meaning of the expression E^F, where both E and F are sets?
- From: Arturo Magidin
- Re: What is the meaning of the expression E^F, where both E and F are sets?
- Prev by Date: Re: Graph theory and characteristic polynomial problem
- Next by Date: Re: What is the meaning of the expression E^F, where both E and F are sets?
- Previous by thread: Re: Graph theory and characteristic polynomial problem
- Next by thread: Re: What is the meaning of the expression E^F, where both E and F are sets?
- Index(es):
Relevant Pages
|
