Description: In the given paper we have considered some relation types often encountered in information systems, such as reflexivity, symmetry, anti-reflexivity, anti-symmetry. A task has been defined and solved as to the possibility of representing such predicates in a parametric form with the help of so called free predicate parameter. When substituting various predicates for this parameter we can obtain all predicates from a certain class described by a system of logic rules. The general forms of the classes being described can be used for more detailed investigating some relations in the information system.
Keywords: information system, binary predicate, reflexivity, symmetry, anti-reflexivity, antisymmetry