Dados os conjuntos não vazios A, B e C, uma condição necessária e suficiente para que se tenha
A ∪ ( B ∩ C ) = ( A ∪ B ) ∩ C é :
Dados os conjuntos não vazios A, B e C, uma condição necessária e suficiente para que se tenha
A ∪ ( B ∩ C ) = ( A ∪ B ) ∩ C é :
