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