Pseudovariedad

Una clase de álgebras finitas cerrada por productos directos finitos, subálgebras e imágenes homomorfas; habitualmente considerada en un contexto de firma finita y relevante para aplicaciones en modelos finitos y teoría de autómatas.

Una clase de álgebras finitas (para una firma fija) cerrada por productos directos finitos, subálgebras e imágenes homomorfas; se estudia típicamente en el contexto de estructuras algebraicas finitas donde las propiedades de cierre infinitarias no son apropiadas.