We prove a generalization of Promel's theorem to finite structures with both relations and functions.