Reflexive and antisymmetric relations and their systems Jiří Rachůnek (1981) Czechoslovak Mathematical Journal