1. For many imperative programming languages, the control flow of a program is explicit in a program's source code.

Для многих языков граф потока управления явно прослеживается в исходном коде программы.

2. The class of Abelian categories is closed under several categorical constructions, for example, the category of chain complexes of an Abelian category, or the category of functors from a small category to an Abelian category are Abelian as well.

Класс абелевых категорий замкнут относительно нескольких категорных конструкций; например, категория цепных комплексов с элементами из абелевой категории и категория функторов из малой категории в абелеву также являются абелевыми.