Тип даних, чиї члени і операцій взяті з тих, з іншим типом даних за деякі вказано правилом.