Universal cyclic relations
Vítězslav Novák · Czech digital mathematics library · 1986
Let n be a positive integer, m a cardinal.Denote by n an n-element cycle, i.e. an n-element set with a cyclic n-ary relation.Then for any cyclic n-ary structure G there exists in a structure of type (2n) m a substructure G' such that G is a strong homomorphic image of G'.