임의의 집합 A에 대하여, 모든 x∈A에 대해 관계 ϕ(x,y)를 만족시키는 y가 유일하게 존재하면,
A의 ϕ(x,y)에 의한 상을 포함하는 집합이 존재한다.


랑


임의의 집합 A에 대하여, 모든 x∈A에 대해 관계 ϕ(x,y)를 만족시키는 y가 최대 1개 존재하면,
A의 ϕ(x,y)에 의한 상을 포함하는 집합이 존재한다.


y의 존재성을 빼고

유일성만가정해서 소개하는 책도잇길래

동치라 그렇게하는거같아서.

동치맞음?