A Função Abstrata Desigual: Este Trabalho gira em torno do que Konrad Utz denominou de Função abstrata desigual, o que faço aqui é uma aplicação do termo aos termos da Filosofia analítica, em especial a noção de Frege de Função. Elaboro a definição deste tipo de função nos termos formais. Se do ponto de vista extensional duas funções forem desiguais então suas relações não podem ser idênticas e portanto seu domínio será assimétrico. Estas relações são dadas por meio de um relacionamento triplo com uma equação de duas ordens e uma superordenação de um terceiro contra ela. Essa relação tríplice representa simplesmente a explicação formal da relação assimétrica.(Zufall, p.78). Relação Assimétrica Indiferente Σ1≦x∞ = 2y ∞ ≠ 3z∞ : (1x)∞, (2=y)∞ ,(3≠z)∞ (O somatório de uma relação é igual a 1 variável desigual que é igual a 2 variáveis iguais que é desigual a 3 variáveis, assim infinitamente definindo 1 função de 1 variável, 2 iguais e 3 desiguais). Relação Simetrica Indiferente = : = Relação