local identity
separated presheaf
A similar presheaf "G" that satisfies the local identity axiom over the empty set is constructed as follows.
A similar presheaf "G" that satisfies the separated presheaf axiom over the empty set is constructed as follows.