more from this thinker
|
more from this text
Single Idea 9710
[filed under theme 4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / a. Symbols of ST
]
Full Idea
We write F : A → B to indicate that A maps into B, that is, the domain of relating things is set A, and the things related to are all in B. If we add that F = B, then A maps 'onto' B.
Gist of Idea
We write F:A→B to indicate that A maps into B (the output of F on A is in B)
Source
Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0)
Book Ref
Enderton,Herbert B.: 'A Mathematical Introduction to Logic' [Academic Press 2001], p.5
The
19 ideas
with the same theme
[symbols which are distinctive of set theory]:
9703
|
'dom R' indicates the 'domain' of objects having a relation
[Enderton]
|
9705
|
'fld R' indicates the 'field' of all objects in the relation
[Enderton]
|
9704
|
'ran R' indicates the 'range' of objects being related to
[Enderton]
|
9710
|
We write F:A→B to indicate that A maps into B (the output of F on A is in B)
[Enderton]
|
9707
|
'F(x)' is the unique value which F assumes for a value of x
[Enderton]
|
13443
|
∈ relates across layers, while ⊆ relates within layers
[Hart,WD]
|
9697
|
X1 x X2 x X3... x Xn indicates the 'cartesian product' of those sets
[Priest,G]
|
9685
|
<a,b&62; is a set whose members occur in the order shown
[Priest,G]
|
9675
|
a ∈ X says a is an object in set X; a ∉ X says a is not in X
[Priest,G]
|
9674
|
{x; A(x)} is a set of objects satisfying the condition A(x)
[Priest,G]
|
9673
|
{a1, a2, ...an} indicates that a set comprising just those objects
[Priest,G]
|
9677
|
Φ indicates the empty set, which has no members
[Priest,G]
|
9676
|
{a} is the 'singleton' set of a (not the object a itself)
[Priest,G]
|
9679
|
X⊂Y means set X is a 'proper subset' of set Y
[Priest,G]
|
9678
|
X⊆Y means set X is a 'subset' of set Y
[Priest,G]
|
9681
|
X = Y means the set X equals the set Y
[Priest,G]
|
9683
|
X ∩ Y indicates the 'intersection' of sets X and Y, the objects which are in both sets
[Priest,G]
|
9682
|
X∪Y indicates the 'union' of all the things in sets X and Y
[Priest,G]
|
9684
|
Y - X is the 'relative complement' of X with respect to Y; the things in Y that are not in X
[Priest,G]
|