Una instancia de una tabla puede verse entonces como un subconjunto del producto cartesiano entre los dominios de los atributos.