finita la definizione della categoria dei giochi