The study of mathematical structure as it pertains to quantities that are discrete (not continuous) such as integers, graphs and logic statements