Este documento propone una definición general de un máximo no dominado de una relación en un conjunto de restricciones. No se impone ningún requisito específico ni en la asimetría de la relación objetivo ni en el conjunto de restricciones (que puede, o no, coincidir con el conjunto base de la relación objetivo). Se formulan varias caracterizaciones que expresan máximos no dominados de una relación objetivo como máximos de alguna traza asociada con esa relación objetivo. Mediante algunas de estas caracterizaciones, se examina la estructura del conjunto completo de máximos no dominados en el caso particular de relaciones inducidas por conos convexos abiertos y cerrados, entre ellos, la dominancia de Pareto débil y fuerte, y, en el caso de semiórdenes, que admiten ciertos tipos de representabilidad. Los resultados de la última parte del examen permiten la construcción de muchos ejemplos de relaciones cuyos conjuntos completos de máximos y máximos no dominados son completamente identificables de manera elemental.