Definición lógica de estructuras utilizadas