In mathematics, specifically set theory, a dimensional operator on a set E is a function from the subsets of E to the subsets of E. In mathematics, specifically set theory, a dimensional operator on a set E is a function from the subsets of E to the subsets of E. If the power set of E is denoted P(E) then a dimensional operator on E is a map that satisfies the following properties for S,T ∈ P(E): The final property is known as the exchange axiom.