maximal irredundant set