Adding explanation of why definition 1 works: the sets are never empty.