Abstract

We define DNA sequence by a bottom-up approach, starting with a real sequence from an actual biological sample. By providing axioms for notions of string, substring and strand, we formally define a DNA sequence, and a DNA molecule as composed of two antiparallel strands. We note that a sequence is a kind of group in which each member stands a certain relation to every other. The spatial aspects of a DNA sequence are also described.