Closure Operators and Moore Families