Verilen bir teori dizisinde (birincisi dışında) her teori bir önceki teoriden daha gelişmiş ise, bu teori dizisinde denir.

O teori açısından sizideki her teorinin yardımcı hipotezler kümesine denir.

Bir teori ile gözlem ve/veya deney arasındaki aykırılığa denir.

Kısaca, temel hipotezler kümesi ile yardımcı hipotezler kümesinin birleşimidir.

Dizideki tüm teorilere ortak olan temel hipotezler kümesine denir.