edu&gt;
Sent: Tuesday, May 08, 2001 12:28 PM
Subject: Re: SUO: power classes

 &gt; The last definitional axiom above is contained in the foundational
definition of 'SET.LIM$pullback'.

Correction: The specific nature of the foundational definition of
'SET.LIM$pullback' only ensures that the pullback is Cartesian -- a subset
of the binary Cartesian product. The composition of set functions is defined
by a (slightly complicated) foundational binary function restriction
operator (involves the pullback of opsp