R and c is a normal form of a w.r.t. Let R be a weakly-normalizing binary relation with unique normal form property and a be a set. Let R be a weakly-normalizing binary relation with unique normal form property and a , b be sets. If a and b are convertible w.r.t. Let R be a binary relation.
R is confluent and strongly-normalizing.
Let us note that there exists a binary relation which is empty. Let us observe that there exists a non empty binary relation which is complete. If R commutes with Q , then R Q has Church-Rosser property. R has weak Church-Rosser property. For every binary relation R holds R is confluent iff R is subcommutative.