 Finally, the indifference relation \(\sim\) satisfies the properties of reflexivity, transitivity and symmetry. While reflexivity and transitivity are defined analogously to the previous modalities, symmetry is defined as follows.