Noun
(less common) Alternative form of power structure
(mathematics) An analog of a power set in the context of mathematical structuralism.