Binary-Relations

Code to generate a .txt with all 65536 binary relations of a 4 elements set, classified by reflexive, transitive, symmetric and/or function.