Go back to the tag's page.
Tags: Added new tags
Set of subobjects Thanks to Juan Pablo who wrote and proved this lemma. Small edits by Johan