Displaying similar documents to “Closedness properties of internal relations. IV: Expressing additivity of a category via subtractivity.”