The same idea can work to "define" a set of objects, as well as to prove statements about that set of objects.
ð ə WORD_BOUNDARY s eɪ m WORD_BOUNDARY aɪ d iə WORD_BOUNDARY k æ n WORD_BOUNDARY w ɜː k WORD_BOUNDARY t ə WORD_BOUNDARY d ɪ f aɪ n WORD_BOUNDARY ʌ WORD_BOUNDARY s ɛ t WORD_BOUNDARY ʌ v WORD_BOUNDARY ɑ b d̠ʒ ɛ k t s WORD_BOUNDARY æ z WORD_BOUNDARY w ɛ l WORD_BOUNDARY æ z WORD_BOUNDARY t ə WORD_BOUNDARY p ɹ uː v WORD_BOUNDARY s t eɪ t m ə n t s WORD_BOUNDARY ʌ b aʊ t WORD_BOUNDARY ð æ t WORD_BOUNDARY s ɛ t WORD_BOUNDARY ʌ v WORD_BOUNDARY ɑ b d̠ʒ ɛ k t s WORD_BOUNDARY