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