**Defined in theory: Simple-geometry****Source code: simple-geometry.lisp**

**Documentation:**The set of points in three-dimensional space.

**Instance-Of:**Quantity-space

(=> (And (Member ?X1 3d-Length-Space) (Member ?X2 3d-Length-Space)) (Quantity.Dimension (Distance ?X1 ?X2) Length-Dimension))