İndirgenen teorinin postulatlarında geçen her terim, indirgeyen teorinin postulatlarında geçmek zorunda değildir.

İndirgenen teorinin her postulatı indirgeyen teorinin postulatlarından tümevarımsal çıkarımla türetilebilmelidir.

İndirgenen teori, pekiştirilmiş bir teori olmalıdır.

İndirgenen teoriyi pekiştiren kanıtlar, hipotezli-tümdengelimsel pekiştirme yoluyla indirgeyen teoriyi de pekiştirir.

İndirgeyen teoriden indirgenen teoriye geçiş bir indirgemeci birikimsel gelişimdir.