a method for showing isomorphism between countably infinite structures satisfying specified conditions