Basic level of concepts in formal concept analysis 1: formalization and utilization. Issue 7 (2nd October 2020)