well-founded relation

type of binary relation

en-US/ˈwɛl - ˈfaʊndɪd ɹɪˈleɪʃən/
en-GB/ˈwɛl - ˈfaʊndɪd ɹɪˈleɪʃn/

Kategoriler:

irreflexive relation