Claim:A/R partitions A

From CS2800 wiki
Revision as of 16:55, 2 October 2018 by {{GENDER:Mdg39|[math]'"2}} [/math]'"7
(<math>1) </math>2 | <math>3 (</math>4) | <math>5 (</math>6)
[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