Confronting logical properties in a universal logic context

Abstract

This paper presents a definition of universal logic in a strictly set-theoretic environment and compares logical and topological properties in this abstract environment. From these properties, we verify the etymology of the more common names given for evolved properties, and so we establish the precedence or equivalence among them.