Abstract We propose a new theory based on the notions of marginal and large difference which has natural models in context nonstandard mathematics. introduce notion finite marginality show representation result ensures, for finitely countable models, existence homomorphism structure into model numbers, extent to any such is unique. Finally, we that our constitutes part underlying abstract three...