This reminds me of vacuous truth (https://en.wikipedia.org/wiki/Vacuous_truth).

I was recently writing a function that returns early if all items in a list meet a certain condition. It was interesting to think about what should happen if that list is empty.