transitive closure

operation on sets

Categories: