任意の集合''A''について唯一の空関数が存在するということは、空集合が集合の圏の始対象(initialobject)であることを意味する.
集合の圏