Addition Property Geometry Definition