Proof and Problem Solving - Partial Order Example 01

preview_player
Показать описание

We work with the partial order R1 on A1 and partial order R2 on A2. A partial order is just a relation with reflexive, antisymmetric, and transitive properties.

We show that R1 union R2 union (A1 x A2) is a partial order on A1 union A2 by showing that R1 union R2 union (A1 x A2) is reflexive, antisymmetric, and transitive on A1 union A2.

Рекомендации по теме
Комментарии
Автор

Is antisymmetris the same as not symmetric?

natazena