One-Step Subgroup Test/Linguistic Note

From ProofWiki
Jump to navigation Jump to search

Linguistic Note on One-Step Subgroup Test

The One-Step Subgroup Test is so called despite the fact that, on the face of it, there are two steps to the test.

This is because the fact that the subset must be non-empty is frequently assumed as one of the "givens", and is then not specifically included as one of the tests to be made.