added all invariant-relations properties