# Empty mathematical objects

The properties of "empty" objects can be interesting. For example, an empty relation on a non-empty set is symmetric and transitive, but not reflexive. What about properties of the empty graph? Constant functions? The empty set? Do the aforementioned objects relate to terminal, initial, and zero objects in category theory?