Dado un conjunto: formula_1 formado cuando menos por los elementos: formula_2 en el que se ha definido: