The category of spaces which are symmetric forms an interesting subcategory, in
which most of the usual properties of (non-generalized) metric spaces are still
valid. They are sometimes also called pseudo-metric spaces in the
literature [1]}, [2]}, [3]}.
