Refleksiva rilato

From Wikipedia, the free encyclopedia

Refleksiva rilato estas rilato, kiu estas por ĉiuj orda duopo . Dupartan rilaton oni nomas refleksiva, kiam:

.

Rimarku: En ĉi tiu rilato, la argumentaro kaj la celaro estas samaj.

Malrefleksiva rilatokontraŭrefleksiva rilato estas rilato, kiu estas por orda duopo . Duparta rilato estas kontraŭrefleksiva se:

.

Noto ke malrefleksiva rilatokontraŭrefleksiva rilato estas la samo. Malsimile al ĉi tio, malsimetria rilato ne estas ĝenerale la samo kiel kontraŭsimetria rilato.