Первый том содержит разделы: отношения, отображения, частично упорядоченные множества, группы, кольца, модули, линейные алгебры. Кроме основных определений, авторы стремились ограничиться изложением результатов, которые могут быть полезны за пределами рассматриваемой области алгебры. Доказательства не приводятся.