Inclusion space/Definition

A model for the axioms of point-free geometry.