定義
Set を小さい集合(過去スレ017の321)全体の圏とする。
関手 Q：(Set)^o → Set を以下のように定義する。

X ∈ Ob(Set) のとき Q(X) は X のべき集合(すなわち X の部分集合全体の集合)とする。
Set における射 f：X → Y に対して Q(f)：Q(Y) → Q(X) を
A ∈ Q(Y) のとき、Q(f)(A) = f^(-1)(A) により定義する。

Q を反変べき集合関手と呼ぶ。