A Secondary Structure on a sequence is a subset of . It is known that for all and in that
The relation specifies that each nucleotide takes part in at most one base pair, while the second condition forbids knots and pseudo-knots. The base-pair is called interior to if the relation holds.
Meanwhile, for between the base pair such that but if contains no pair s.t. , the base is defined as accessible from .