2
$\begingroup$

Let $R$ be a reflexive binary relation and $R^*$ be its reflexive transitive closure. The question is what is the equivalent condition in terms of $R$ to $R^*$ being a partial order.

Intuitively, a reflexive transitive closure adds reflexivity and transitivity to the original relation. But just because $R$ is antisymmetric doesn't mean $R^*$ is a partial order.

  • 0
    Does it have a special name?2011-12-14

1 Answers 1

1

Directed acyclic graph (often abbreviated to DAG).