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

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

P を共変べき集合関手と呼ぶ。