Basic definitions for morphisms between type DD structures.