Примеры доказательства корректности определения: математические схемы