Generalization of two theorems of Steinhaus in category bases

Here we unify two results of Steinhaus and their corresponding category analogues by extending them in the settings of category bases. We further show that in any perfect translation base, every abundant Baire set contains a full subset for which our second theorem fails.