Assertion: total order | /r/CapableOf | induce bijection
Facets:
value: in other words
type: OTHER
value: with the first k natural numbers
type: OTHER
Source sentences:
text: In other words, a total order on a set with k elements induces a bijection with the first k natural numbers.