reflexive closure

operation on binary relations

カテゴリ: