UNION, genellikle farklı veri türlerine sahip bir veri yapısıdır.
Bir birleşimde, tüm bileşenler aynı ofsete ve dolayısıyla aynı miktarda depolama alanına sahiptir.
Örnek
TYPE NAME_AB:
UNION
a : LREAL;
b : LINT;
END_UNION
END_TYPE
Eğer NAME_AB tipi koddaki bir nameVar değişkenine yazılırsa, bu hem nameVar.a hem de nameVar.b'u etkiler.