17 прямое произведение структур

- определение прямого произведения семейства структур с общей сигнатурой - лемма о реализации термов - лемма о сохранении истинности простых формул