union-compatible

t z T 连接器 T connector T 介面 T... ... 联合定理 union theorem 可相容的 union-compatible 单通路 unipath ...

..., a23, …., a2m)，都必须满足下面的「联集相容」(Union-compatible)条件，或称为「型态相容」(Type-compatible)条件。