PhilSci-Archive, 11 Jun 2024 Functional completeness and primitive positive decomposition of relations on finite domains