for E being non empty set st ( for I being set
for A being ObjectsFamily of I,(EnsCat E) holds product A in E ) holds
EnsCat E is with_products