Theoretical description and calculations related to combinatorics in mathematics, used in various fields such as computer science, logic, probability theory, and algebra