A new category of connective spaces is defined, which includes topological
spaces and simple graphs, and generalizes the concept of connectedness.
Not every connective space has a compatible topology; those that do are characterized
by compatible partial orders.