A'Ax=A'b, но это не определение, а способ нахождения псевдорешения, способ известен под названием метод наименьших квадратов.
Между прочим, в книжках часто именно это равенство и приводится в качестве определения. Хотя естественнее, конечно, считать определением псевдорешения "метод наименьших квадратов". Только называть его так не следует, ибо МНК -- это не столько конкретный метод, сколько некая философия.