Линейный и частичный порядок: основы и примеры