The branch of mathematics concerning the study of finite or countable discrete structures. This tag covers counting, arrangement, and optimization of discrete objects, including permutations, combinations, graph theory, and enumerative methods.