This relates closely to a software test technique known as Equivalence class partitioning. https://en.m.wikipedia.org/wiki/Equivalence_partitioning