A note on irredundant sets