"set" . "of natural number" . "set of natural number" .