замкнутая естественность

Мат. closed naturality