total relation

Also known as linear relation, connex relation, complete relation, connected, strongly connected

binary endorelation such that for every pair of elements either first is related with second or second is related with first