have component parts

usually mirror in logic types that are present in hardware

are not defined in terms of other types

are transparent

are also called structured types