Seol mar théacs é seo: O pewnych własnościach maszyn relacyjnych /