Chiusura induttiva

Da Wikipedia, l'enciclopedia libera.
Jump to navigation Jump to search

Sia un insieme e un insieme di operazioni di arietà assegnata. Si definisce chiusura induttiva

il minimo insieme che verifica le seguenti condizioni:

  1. Se sono elementi di , e è definita in , allora .
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica