Ideals and congruence kernels of algebras
Ideals of binary relational systems
Idempotent pre-generalized hypersubstitutions of type .
Idempotent Subreducts of Semimodules over Commutative Semirings
Independence of Equational Classes
Independent subalgebras of a general algebra
Intersection Graphs of Set Families Closed under Intersection and Satisfying the Descending Chain Condition
Isomorphic algebraic pre-closures and equivalent set-systems