.Open Notes on Circularity
. Note
This set of notes is a little circular in that the notation is used to talk
about the notation - for example:
A>**A,
2nd: A>**** B.
Further maps can be described as special relations:
A->B::={R:Relations(A,B)| for all a:B, one b:B(a R b)}
Now relations are described as special sets of pairs
For Types T1,T2, A:@T1, B:@T2, Relations(A,B) ::=@(T1>**