The union of sibling types is a subtype of their common ancestor (that is, all operations permitted on their common ancestor are permitted on the union type, but they may also have other valid operations in common).
Сједињење куцања полубрата њиховог честог предка (то је, све операције које су дозвољене над њиховим честим предком су дозвољене над сједињеним куцањем, али могу такође имати остале валидне операције заједничке).