Académique Documents
Professionnel Documents
Culture Documents
c J. M. Spivey 1992
Copyright
2
Basic expressions Relations
\power_1 S
S ×T S \cross T Cartesian product f (x ) f(x) Function application
(x , y, z ) (x, y, z) Tuple (λ x : T | P • E ) (\lambda ...) Lambda-expression
first p first~p First of pair X Y
X \pfun Y Partial functions
second p second~p Second of pair X Y X \fun Y Total functions
S ∪T S \cup T Set union X Y X \pinj Y Partial injections
S ∩T S \cap T Set intersection X Y
X \inj Y Total injections
S
S\ T S \setminus T Set difference X Y X \psurj Y Partial surjections
TA \bigcup A Generalized union X Y X \surj Y Total surjections
A \bigcap A Generalized intersection X Y X \bij Y Bijections
X Finite sets X Y Finite partial functions
\finset X X \ffun Y
1X Non-empty finite sets X Y Finite partial injections
\finset_1 X X \finj Y
3 4
Numbers and arithmetic Bags
\nat Natural numbers bag X
\bag X Bags
\num Integers x1 , . . . , xn
\lbag ... \rbag Bag display
+ − ∗ div mod + - * \div \mod Arithmetic operations count B x count~B~x Count of an element
<≤≥> < \leq \geq > Arithmetic comparisons B ]x B \bcount x Infix count operator
1 \nat_1 Strictly positive integers n ⊗B n \otimes B Bag scaling
succ succ Successor function x B x \inbag B Bag membership
m ..n m \upto n Number range B vC B \subbageq C Sub-bag relation
#S \# S Size of a set B ]C B \uplus C Bag union
min S min~S Minimum of a set B C B \uminus C Bag difference
max S max~S Maximum of a set items s items~s Items in a sequence
5 6