adjunction

/əˈdʒəŋ(k)ʃən/

noun

The joining of two sets which without overlapping jointly constitute a larger set, or the relation between two such sets.

The problem of de Groot concerned compactifications of spaces by means of an adjunction of a set of minimal dimension.