Beta is een verzameling van verzamelingen.
C() is een "correspondence"
x, y zijn elementen van de verzamelingen in Beta
B en alle B' zijn verzamelingen, elementen uit Beta
In woorden (handboek) luidt dit als volgt:
Mijn professor schrijft dit in symbolen als volgt:If for some B element of Beta with x,y elements of B we have x element of C(B), then for any B' element of Beta with x,y element of B' and y element of C(B') we must also have x element of C(B')
[url=http://java%20script:void(0);]java script:void(0);[/url]
Klopt deze omzetting in symbolen wel ??? volgens mij moet er een voor alle (omgekeerde A) teken in voorkomen, ergens...
alvast bedankt !
ps: aanpassing latex is in de maak