On enveloping type-definable structures
scientific article