# Substructures of a pair

If and are substructures of and respectively, then , and can all be considered substructures of : they must all have been shown to be in before we could show that .