Claim:A/R partitions A

Claim (see proof):

[math]\href{/cs2800/wiki/index.php/A/R}{A/R} [/math] partitions [math]A [/math]. In other words,

1. Every element of [math]A [/math] is in some equivalence class, and
2. Two equivalence classes are either disjoint or identical