A comprehensive, precise, and pedantic branch of set theory pertaining to food categorization.