partial relation

[ˈpɑːrʃəl rɪˈleɪʃən]
nounpl: partial relations
relação parcial
1. In mathematics and logic, a binary relation where not every element in the domain has a corresponding element in the codomain; a relation that is not defined for all possible pairs of elements.
A partial relation can be represented as a subset of the Cartesian product of two sets.
Uma relação parcial pode ser representada como um subconjunto do produto cartesiano de dois conjuntos.
2. In computer science and database theory, a function or mapping that is not total, meaning it is undefined for some inputs.
Division is a partial relation because it is undefined when the divisor is zero.
A divisão é uma relação parcial porque é indefinida quando o divisor é zero.
3. A relation that holds between some but not all members of a given set or domain.
The 'is taller than' relation is a partial relation on the set of all people.
A relação 'é mais alto que' é uma relação parcial no conjunto de todas as pessoas.
This is a technical term primarily used in academic contexts, mathematics, computer science, and logic. It is not colloquial and appears mainly in educational and professional technical literature in both Brazil and Portugal. The term is standardized across Portuguese-speaking academic communities.
Synonyms / Sinônimos
partial functionundefined relationincomplete relationnon-total relation
Antonyms / Antônimos
total relationcomplete relationtotal function

Regional Variations

General Brazilian
relação parcial
Standard academic and mathematical terminology
Portugal
relação parcial
Same as Brazilian Portuguese; used in mathematics and logic contexts
Academic International
relação parcial / função parcial
Used interchangeably in technical literature

Related Words

relationfunctiondomaincodomainmappingbinary relationCartesian productundefined

Related Idioms & Phrases

partial order
partially defined function
undefined on some inputs
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →