Existence of a common fixed point for a family of mappings of non‐expansive type on a metric space

Existence of a common fixed point for a family of mappings of non‐expansive type on a metric space with a closure operator is proved.