Axiomatización de recotizar, TAD cliente casi completo.