Equivalence

System

Reflexivity

Symmetry

Transitivity

T

√

B

√

√

S4

√

√

S5

(√)

√

√

Leave a Reply

Your email address will not be published. Required fields are marked *