Ontify
Sequence of natural numbers for which every positive integer can be expressed as a sum of values in the sequence, using each value at most once.