OXFORD 9000
📚 noun • entry_id 24052

partition

/pɑɹˈtɪ.ʃən/
Meanings (ES + gloss)
parte
A part of something that has been divided.
the Russian Partition
partición
The division of a territory into two or more autonomous ones.
Monarchies where partition isn't prohibited risk weakening through parcellation and civil wars between the heirs.
partición
A section of a hard disk separately formatted.
The epicenter of the disturbance is the partition currently housing a [personality construct array] retrieved from Contender AI 05-032 <+> 0816.
partición
A collection of non-empty, disjoint subsets of a set whose union is the set itself (i.e. all elements of the set are contained in exactly one of the subsets).
Word forms
📚 verb • entry_id 24053

partition

/pɑɹˈtɪ.ʃən/
Meanings (ES + gloss)
devisar • dividir • particionar • partir
To divide something into parts, sections or shares.
to partition a hard drive