32nd Annual EAU Congress, Londrina, Brazil, 24 - 28 March 2017, vol.16, pp.2049-2050
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.