A symbolic representation which can be interpreted to reveal a hidden meaning, usually a moral or political one.
(mathematics) A category that retains some of the structure of the category of binary relations between sets, representing a high-level generalisation of that category.