Adjective
Related by a logical tautology.
(mathematics) Pertaining to topological spaces that are Cartesian closed categories.