- #1

- 348

- 0

1. Given a presentation, how can one verify it is unique?

2. Given a presentation, how can one verify it is minimal aside from the obvious of manipulating relations into other relations?

3. Given a presentation, how can one verify that one has included all relations? In other words, how can one verify that a presentation is indeed a presentation?