How does this not trivially exclude everything (the first definition, not the circular restatement)? Considering that, say, a sequence of coin flips either has the property of "beginning with heads" or "beginning with tails," it certainly appears to.