Primitivity is Hereditary for 2-Structures

Abstract It is proved that each primitive 2-structure on n elements ( n ⩾3) contains a primitive substructure on either ( n −1) or ( n −2) elements.