transitive closure

operation on binary relations

Категорії: