subnet (net + sub-; below_under)
The abstraction of a sequence