Δύο νέοι τύποι δίνονται. Πρέπει να δημιουργηθεί ένας νέος τύπος βάσει αυτών, που να ικανοποιεί την προϋπόθεση (περιέχει όλα τα πεδία των δοθέντων τύπων, τύπος ένωσης). Ποια προσέγγιση πρέπει να χρησιμοποιηθεί;