# Substructures of a pair

($1)$2 | $3 ($4) | $5 ($6)

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 .