Journal of Formalized Mathematics
Volume 2, 1990
University of Bialystok
Copyright (c) 1990 Association of Mizar Users

Semi-Affine Space

Eugeniusz Kusak
Warsaw University, Bialystok
Krzysztof Radziszewski
Gdansk University


A brief survey on semi-affine geometry, which results from the classical Pappian and Desarguesian affine (dimension free) geometry by weakening the so called trapezium axiom. With the help of the relation of parallelogram in every semi-affine space we define the operation of ``addition" of ``vectors". Next we investigate in greater details the relation of (affine) trapezium in such spaces.

Supported by RPBP.III-24.C2.

MML Identifier: SEMI_AF1

The terminology and notation used in this paper have been introduced in the following articles [1]

Contents (PDF format)


[1] Henryk Oryszczyszyn and Krzysztof Prazmowski. Analytical ordered affine spaces. Journal of Formalized Mathematics, 2, 1990.

Received November 30, 1990

[ Download a postscript version, MML identifier index, Mizar home page]