Una partición de un conjunto es una división del mismo en «trozos» separados y no vacíos.