Finite Localities I

Abstract

This paper concerns partial groups, objective partial groups, and (finite) localities, with special attention given to the quotient of a locality by a partial normal subgroup.