Ho trovato di recente una definizione che riguarda insiemi del piano euclideo che non avevo mai visto.
Ho cercato dappertutto, ma non l'ho trovata da altre parti. L'articolo dove l'ho vista è il seguente:
http://torino.logicgroup.altervista.org ... 180215.pdf
La definizione data è la seguente:
"Una nuvola di centro C∈R² è un sottoinsieme di R²
che ha intersezione finita con ogni retta passante per C."
Quello che non capisco è cosa si intenda per "intersezione finita"; si sa che di solito si intende l'intersezione non vuota di famiglie di insiemi . Ma come collocarla in questo contesto?