The reduct functor Π is full