Так как такое произведение является пустым, единственное такое подмножество — это пустое множество ∅.
Пустое подмножество является допустимым графиком для любого
x
в области ∅ и любого
y
в сообласти
A
таких, что (
x
,
y
) ∈ ∅. Это пример
, так как
в области определения нет никаких элементов x
.