9916 " Sets are conventionally denoted with capital letters ."