Assertion: triangle's number | /r/AtLocation | a set of more than one element
Facets:
Source sentences:
text: Then A n,k counts the number of partitions of the set {1, 2, ..., n + 1} in which the element k + 1 is the only element of its set and each higher-numbered element is in a set of more than one element.