A Representation Theorem for Domains with Discrete and Continuous Variables