La definición de tipos de una especificación XFL contiene la declaración de los universos de discurso y las funciones de pertenencia usadas por las variables lingüísticas.

La característica más relevante del modo en que se definen en XFL los universos de discurso y las funciones de pertenencia es el soporte de mecanismos de herencia. Estos mecanismos permiten simplificar la especificación de sistemas complejos y facilitar la reutilización de módulos.

A la derecha se muestra el formato de una definición de tipos en XFL, donde: