Isomorph/Ring/Definition