A field of mathematics that studies countable or distinct and separable structures.