relations (version 0.2-0)

reflexfuns: Reflexive Closure and Reduction

Description

Computes reflexive closure and reduction of an endorelation.

Usage

reflexive_reduction(x)
reflexive_closure(x)

Arguments

x

an Robject inheriting from class relation, representing an endorelation.

Details

Let $R$ be an endorelation on $X$. The reflexive closure (reflexive reduction) of $R$ is computed by setting the diagonal of the incidence matrix to 0 (1).

See Also

relation, transitive_reduction.

Examples

R <- as.relation(1 : 5)
relation_incidence(R)
RR <- reflexive_reduction(R)
relation_incidence(RR)
R == reflexive_closure(RR)