Difference (from prior major revision)
(no other diffs)
Added: 12a13
I think it probably refers to relations such as "is a subgroup of", "is a subspace of", "is a subring of" etc.; the term "object" is used in the sense of category theory here. --AxelBoldt