reflexfuns             package:relations             R Documentation

_R_e_f_l_e_x_i_v_e _C_l_o_s_u_r_e _a_n_d _R_e_d_u_c_t_i_o_n

_D_e_s_c_r_i_p_t_i_o_n:

     Computes reflexive closure and reduction of an endorelation.

_U_s_a_g_e:

     reflexive_reduction(x)
     reflexive_closure(x)

_A_r_g_u_m_e_n_t_s:

       x: an R object inheriting from class 'relation', representing an
          endorelation.

_D_e_t_a_i_l_s:

     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).

_S_e_e _A_l_s_o:

     'relation', 'transitive_reduction'.

_E_x_a_m_p_l_e_s:

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

