Reflexive closure of a relation on a set is the smallest reflexive relation that contains the original relation, achieved by adding pairs where each element is related to itself. This ensures that every element in the set is related to itself, making the relation reflexive while preserving the original connections.