Luego se impuso tres condiciones a este predicado (llamadas "transferencia", "idealización" y "estandarización") para asegurarse de la existencia de nuevos números, no estándares, con las propiedades adecuadas, dignas de infinitesimales e infinitos, más concretamente se formuló la propiedad de transferencia.