A note on extensionality
F.J. Rietman · TU/e Research Portal · 1991
In this paper we explore several different but equivalent axiomatisations of extensionality within a calculus of relations, one of those axiomatisations being the point-axiom (Punkteaxiom) introduced by Schmidt and Strohlein. Our objective is to demonstrate that each is a reasonable formulation of the extensionality principle in the calculus. ·Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513 , 5600 MB Eindhoven, The Netherlands.