Relation, Multirelation; Operator and Predicate

  • Roland Fraïssé
Part of the Synthese Library book series (SYLI, volume 54)


From this chapter on we shall employ all the usual set-theoretic axioms and definitions, including the axiom of infinity, i.e., the existence of a set containing 0 which, if it contains a, also contains a + 1 =a∪{a}. Explicit mention of the axiom of choice and of the ultrafilter axiom (every filter is contained in a finer ultrafilter) will be made whenever these are used.


Natural Number Mathematical Logic Binary Relation Finite Subset Composite Operator 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 1973

Authors and Affiliations

  • Roland Fraïssé

There are no affiliations available

Personalised recommendations