Attribute Exploration of Properties of Functions on Sets
Artem Revenko, Sergei O. Kuznetsov · Fundamenta Informaticae · 2012
An approach for studying relations between properties of functions on sets is proposed. The approach is based on Attribute Exploration. 16 properties of functions are considered, among them monotonicity, idempotency, path independence, exchange prope