Esto puede ser entendido como equivalente a la extensionalidad así: