An autoencoder whose code dimension is lessthan the input dimension is called undercomplete.
The learning process is described simply as minimizing a loss function:
$$ L(x, g(f(x))) $$