Intuitivamente, um par ordenado consiste de dois termos, digamos a e b, dos quais um, digamos a, é designado como primeiro termo e b como segundo termo. Um par ordenado com primeiro termo a e segundo termo b é representado explicitamente por (a, b).
DEFINIÇÃO
O par ordenado (a, b) foi definido como {{a}, {a, b}} por K. Kuratowski em 1921. Em 1914 Wiener deu uma definição, historicamente importante, para par ordenado definindo (a, b) como {{a, Ø }, {b, { Ø }}}.
Nenhum comentário:
Postar um comentário